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