diff options
Diffstat (limited to 'tools/boca-submit-run-root')
| -rw-r--r-- | tools/boca-submit-run-root | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/tools/boca-submit-run-root b/tools/boca-submit-run-root new file mode 100644 index 0000000..77b4ff9 --- /dev/null +++ b/tools/boca-submit-run-root @@ -0,0 +1,10 @@ +#!/bin/bash + +if [ "$1" != "" ]; then + mkdir -p /root/submissions + chown root /root/submissions + chmod 700 /root/submissions + cp "$1" /root/submissions + echo "date=`date +%s`" >> "/root/submissions/$1" + echo "code=`cat /root/submissions/code`" >> "/root/submissions/$1" +fi |