marking3/marking2/tails
author Christian Urban <urbanc@in.tum.de>
Mon, 04 Nov 2019 00:51:10 +0000
changeset 309 b192bc772613
parent 227 b5f3e814a710
permissions -rwxr-xr-x
updated
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
162
6d25ccbb3cf2 marking 2
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     1
#!/bin/sh
6d25ccbb3cf2 marking 2
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     2
###set -e
6d25ccbb3cf2 marking 2
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     3
6d25ccbb3cf2 marking 2
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     4
trap "exit" INT
6d25ccbb3cf2 marking 2
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     5
6d25ccbb3cf2 marking 2
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     6
files=${1:-assignment20177-*}
6d25ccbb3cf2 marking 2
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     7
6d25ccbb3cf2 marking 2
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     8
for sd in $files; do
6d25ccbb3cf2 marking 2
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     9
  cd $sd
6d25ccbb3cf2 marking 2
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    10
  #echo $sd
6d25ccbb3cf2 marking 2
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    11
  tail -1 output
6d25ccbb3cf2 marking 2
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    12
  cd ..
6d25ccbb3cf2 marking 2
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    13
done
6d25ccbb3cf2 marking 2
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    14
6d25ccbb3cf2 marking 2
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    15