# PBS job options PBS -N ${exp_name} PBS -q qdef PBS -r y PBS -l walltime=10:00:00 PBS -l nodes=1:ppn=36,pmem=5gb #PBS -M ${email} exec > ${PBS_O_WORKDIR-$PWD}/${PBS_JOBNAME-"local"}_${PBS_JOBID-"id"}.log echo "------------------ Job Info --------------------" echo "jobid : $PBS_JOBID" echo "jobname : $PBS_JOBNAME" echo "job type : $PBS_ENVIRONMENT" echo "submit dir : $PBS_O_WORKDIR" echo "queue : $PBS_O_QUEUE" echo "user : $PBS_O_LOGNAME" # Cancel job on error set -ueo pipefail # RESET script arguments NOTHING="" set -- ${PBS_OPTIONS-$NOTHING}