/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 "$@"
|