This file is indexed.

/usr/bin/ESingular is in singular 3-0-4-3.dfsg-3.1ubuntu3.

This file is owned by root:root, with mode 0o755.

The actual contents of the file can be viewed below.

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
#!/bin/bash
export SINGULARPATH=/usr/lib/singular
export SINGULAR_BIN_DIR=/usr/lib/singular
export SINGULAR_ROOT_DIR=/usr/share/singular
export SINGULAR_INFO_FILE=/usr/share/doc/singular/info/singular.hlp
export SINGULAR_IDX_FILE=/usr/share/doc/singular/doc/singular.idx
export SINGULAR_HTML_DIR=/usr/share/doc/singular/html
export SINGULAR_EXAMPLES_DIR=/usr/share/doc/singular/examples
export SINGULAR_EXECUTABLE=/usr/lib/singular/Singular
export PATH=/usr/lib/singular:/usr/bin:$PATH
exec /usr/lib/singular/ESingular "$@"