#! /bin/bash
export SINGULAR_BIN_DIR=/usr/lib/Singular
export SINGULAR_ROOT_DIR=/usr/share/Singular
export SINGULAR_INFO_FILE=/usr/share/info/singular.info
export SINGULAR_IDX_FILE=/usr/share/doc/Singular-3.1.0/doc/singular.idx
export SINGULAR_HTML_DIR=/usr/share/doc/Singular-3.1.0/html
export SINGULAR_CHM_FILE=/usr/share/doc/Singular-3.1.0/doc/Manual.chm
export SINGULAR_EXAMPLES_DIR=/usr/share/doc/Singular-3.1.0/examples
export PATH="/usr/lib/Singular:/usr/X11R6/bin:$PATH"
if [ -z $DISPLAY ]; then export DISPLAY=:0.0; fi
exec /usr/lib/Singular/ESingular.exe $*
