Scores

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Exercises/hwsubm/allscores.sh	Mon Jul 31 14:20:55 2017 +0200
@@ -0,0 +1,35 @@
+#!/bin/bash
+
+SHEETS="01 02 03 04 05 06 07 08 09 10 11 12 13"
+
+echo -n "Name"
+for i in $SHEETS; do echo -n ", Sheet $i"; done
+echo
+
+cat submitters.list | while read n; do
+  echo -n $n
+  
+  for i in 01 02 03 04 05 06 07 08 09 10 11 12 13; do
+    echo -n ", "
+  
+    thys=`find -wholename "./$i/*${n}*/*.thy"`
+    
+    if test -n "$thys"; then
+      score=$( egrep "Score: [0-9]+/[0-9]+" $thys | sed -re 's|/.*||' | awk '{print $3}' )
+    
+      if test -n $score; then
+        echo -n $score
+      else
+        echo -n "no score"
+      fi
+    
+    else
+      echo -n "no submission"
+    fi
+
+  done
+
+  echo
+
+
+done
\ No newline at end of file

Binary file Exercises/hwsubm/scores.ods has changed