Skip to content

Instantly share code, notes, and snippets.

@dmmcquay
Forked from smcquay/launcher
Last active January 3, 2016 12:19
Show Gist options
  • Save dmmcquay/8462015 to your computer and use it in GitHub Desktop.
Save dmmcquay/8462015 to your computer and use it in GitHub Desktop.
#!/bin/bash
if [is not checkpt]
then:
start
PID = $!
JOBID = $SLURM_JOB_ID
fi
else
load checkpt
trap _ {
cr_checkpoint $PID
slurm requeue
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment