/usr/share/sagemath/bin/sage-starts is in sagemath-common 8.1-7ubuntu1.
This file is owned by root:root, with mode 0o755.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 | #!/usr/bin/env bash
# Run this test from SAGE_ROOT.
# If SAGE_ROOT is not defined (this will be the case when called from
# the top-level Makefile), assume the current directory is SAGE_ROOT.
if [ -n "$SAGE_ROOT" ]; then
cd "$SAGE_ROOT"
fi
echo
echo "Testing that Sage starts..."
echo "[`date +'%Y-%m-%d %H:%M:%S'`] `cat VERSION.txt 2>/dev/null`" | tee -a logs/start.log
# This script is run by the top-level Makefile, so may be run by a
# sysadmin. We use --nodotsage so we don't force a .sage directory
# in the sysadmin's HOME directory.
cmd='sage.all._write_started_file(); print "Yes, Sage starts."'
build/bin/sage-logger "./sage --nodotsage -c '$cmd'" logs/start.log
if [ $? -ne 0 ]; then
echo >&2 "Sage failed to start up."
echo >&2 "Please email sage-devel (http://groups.google.com/group/sage-devel)"
echo >&2 "explaining the problem and send the log file"
echo >&2 " `pwd`/logs/start.log"
echo >&2 "Describe your computer, operating system, etc."
rm -f local/etc/sage-started.txt
exit 1
fi
|