marking/mk
author Christian Urban <urbanc@in.tum.de>
Fri, 02 Dec 2016 16:45:31 +0000
changeset 82 28c8e17ab83a
parent 81 ff8d075842d5
child 87 9384b8c98014
permissions -rwxr-xr-x
updated

#!/bin/sh
###set -e

trap "exit" INT
for sd in k*; do
  cd $sd
  echo $sd
  #../mark
  ../mark01b
  cd ..
done