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