Skip to content
Snippets Groups Projects
Select Git revision
2 results Searching

problems.jl

Blame
    • run-simulation 389 B
    1
    2
    3
    4
    5
    6
    7
    8
    9
    10
    11
    12
    13
    14
    15
    16
    17 
    

    

    

    #!/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