3 SCRIPT
="${BASH_SOURCE[0]}"
4 while [ -L "$SCRIPT" ] ; do SCRIPT
=`(readlink "$SCRIPT")` ; done
6 ROOT
=`(cd \`dirname "$SCRIPT"\
` > /dev/null 2>&1 ; pwd)`
8 VERSION
=`ls "$ROOT/maxima/share/maxima/"`
9 MAXIMA_XMAXIMADIR
=$ROOT/maxima
/share
/maxima
/$VERSION/xmaxima
10 export MAXIMA_XMAXIMADIR
11 XMAXIMA_MAXIMA
=$ROOT/maxima.sh
13 PATH
="$MAXIMA_PREFIX/bin:$PATH"
16 exec wish
$ROOT/maxima
/bin
/xmaxima
"$@"