# ./SCRIPT is the startup script (`repeatedly.sh', `startup.sh', etc.)
# (in the directory whose fullpathname we're invoked with)
set -e
# ./SCRIPT is the startup script (`repeatedly.sh', `startup.sh', etc.)
# (in the directory whose fullpathname we're invoked with)
set -e