Dear All,
Please find appended below a snippet from
$SAGE_ROOT/sage.
Would it be nice if "$SAGE_LOCAL/sage" could be used without assumptions instead of "$SAGE_ROOT/local/bin/sage" with the assumption that 'SAGE_LOCAL is the "local" subdirectory'
BTW, should "$SAGE_LOCAL/sage" be the first choice if it is ready to run?
Thank you for your enlightenment
Regards,
phiho
<$SAGE_ROOT/sage>
# Run the actual Sage script
if [ -x "$SAGE_ROOT/src/bin/sage" ]; then
exec "$SAGE_ROOT/src/bin/sage" "$@"
elif [ -x "$SAGE_ROOT/local/bin/sage" ]; then # if in a stripped binary
# Note in this case we assume that SAGE_LOCAL is the "local" subdirectory
exec "$SAGE_ROOT/local/bin/sage" "$@"
else
echo >&2 "$0: no Sage installation found in \$SAGE_ROOT=$SAGE_ROOT"
exit 1
fi
</$SAGE_ROOT/sage>