Skip to content
Snippets Groups Projects
Select Git revision
  • 7daf94ff57f9bf58d962d8e6395257ff15c50b1b
  • master default protected
  • andreas/paper2
  • v1.0
  • v0.1
5 results

function.jl

Blame
  • 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