marking/mk
author Christian Urban <urbanc@in.tum.de>
Tue, 15 May 2018 10:57:20 +0100
changeset 175 526542d8d700
parent 87 9384b8c98014
permissions -rwxr-xr-x
updated
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
64
d6f97b562424 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     1
#!/bin/sh
d6f97b562424 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     2
###set -e
d6f97b562424 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     3
81
ff8d075842d5 updated
Christian Urban <urbanc@in.tum.de>
parents: 64
diff changeset
     4
trap "exit" INT
64
d6f97b562424 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     5
for sd in k*; do
d6f97b562424 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     6
  cd $sd
d6f97b562424 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     7
  echo $sd
87
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 81
diff changeset
     8
  touch .
81
ff8d075842d5 updated
Christian Urban <urbanc@in.tum.de>
parents: 64
diff changeset
     9
  #../mark
ff8d075842d5 updated
Christian Urban <urbanc@in.tum.de>
parents: 64
diff changeset
    10
  ../mark01b
64
d6f97b562424 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    11
  cd ..
d6f97b562424 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    12
done
d6f97b562424 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    13
d6f97b562424 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    14