annotate bin/master.sh @ 22:ce4c2ec0d5b3

more job scripts
author Henry S. Thompson <ht@inf.ed.ac.uk>
date Wed, 18 Mar 2020 10:57:56 +0000
parents a598469733d3
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
21
a598469733d3 more job scripts
Henry S. Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
1 #!/usr/bin/bash
a598469733d3 more job scripts
Henry S. Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
2 echo $(date) $(hostname)
a598469733d3 more job scripts
Henry S. Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
3 h=$(hostname)
a598469733d3 more job scripts
Henry S. Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
4 hn=${h##*n}
a598469733d3 more job scripts
Henry S. Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
5 if [ $hn -eq 0 ]
a598469733d3 more job scripts
Henry S. Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
6 then seq --format="%03.0f" $1 $2
a598469733d3 more job scripts
Henry S. Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
7 else seq --format="%03.0f" $3 $4
a598469733d3 more job scripts
Henry S. Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
8 fi |\
a598469733d3 more job scripts
Henry S. Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
9 parallel --will-cite -j 48 -N 1 bin/doHdr.sh ${hn} '{#}' '{}'
a598469733d3 more job scripts
Henry S. Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
10 echo $(date) $(hostname) $?