Select Git revision
run-simulation
run-simulation 389 B
#!/bin/bash
[ $# -eq 0 ] && { echo "Usage: $0 simulation_file [logfile_name]"; exit 1; }
SIMULATION_FILE=$1
SIMULATION=${SIMULATION_FILE%.py}
LOGFILE_DEFAULT="$SIMULATION.log"
DATE=$(date -I)
LOGFILE=${2:-$DATE-$LOGFILE_DEFAULT}
GREETING="Simulation $SIMULATION is run on $DATE by $USER"
echo $GREETING
echo "running $SIMULATION_FILE | tee $LOGFILE"
./$SIMULATION_FILE | tee $LOGFILE