marking5/tails
author Christian Urban <urbanc@in.tum.de>
Wed, 16 Jan 2019 12:20:34 +0000
changeset 253 4da8550b2d0b
permissions -rwxr-xr-x
updated
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
253
4da8550b2d0b updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     1
#!/bin/sh
4da8550b2d0b updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     2
###set -e
4da8550b2d0b updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     3
4da8550b2d0b updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     4
trap "exit" INT
4da8550b2d0b updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     5
4da8550b2d0b updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     6
files=${1:-assignment201810-*}
4da8550b2d0b updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     7
4da8550b2d0b updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     8
for sd in $files; do
4da8550b2d0b updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     9
  cd $sd
4da8550b2d0b updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    10
  #echo $sd
4da8550b2d0b updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    11
  marksone=$(( `tail -1 output` ))
4da8550b2d0b updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    12
  markstwo=$(( `tail -1 output1` ))
4da8550b2d0b updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    13
  if [ "$marksone" != "$markstwo" ]; then
4da8550b2d0b updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    14
      echo $sd + "is different"
4da8550b2d0b updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    15
  fi
4da8550b2d0b updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    16
  cd ..
4da8550b2d0b updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    17
done
4da8550b2d0b updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    18
4da8550b2d0b updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    19