2017-08-23 17:04:33 +00:00
|
|
|
#!/bin/bash
|
|
|
|
set -o nounset
|
2018-06-13 08:33:55 +00:00
|
|
|
set -o errexit
|
2017-08-23 22:23:21 +00:00
|
|
|
|
2017-09-20 10:37:57 +00:00
|
|
|
printenv
|
2017-09-21 19:09:00 +00:00
|
|
|
|
2018-06-13 08:33:55 +00:00
|
|
|
(set -x; /usr/bin/time singularity exec --pwd /opt/ExtensionCrawler -B $TMPDIR:/tmp create-db.img create-db -t 1 -n $SGE_TASK_ID $*)
|