Update sebi_machine_launcher.sh

This commit is contained in:
neko404notfound 2018-06-20 18:00:16 +01:00 committed by GitHub
parent 76f7e0c36e
commit 6b9a9cc968
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -5,6 +5,10 @@
# the interrupt signal. This is really annoying over SSH when I have # the interrupt signal. This is really annoying over SSH when I have
# a 1-second lag anyway. # a 1-second lag anyway.
trap "echo 'Received interrupt. Exiting.'; exit 0" SIGINT trap "echo 'Received interrupt. Exiting.'; exit 0" SIGINT
# Also loads the venv if it is present.
[ -d .venv/bin ] && source ./venv/bin/activate && echo "Entered venv" || echo "No venv detected."
until python -m src; do until python -m src; do
# Added colouring to ensure the date of shutdown and the exit code stands # Added colouring to ensure the date of shutdown and the exit code stands
# out from the other clutter in the traceback that might have been output. # out from the other clutter in the traceback that might have been output.