diff --git a/local/bin/subgit-symlinks b/local/bin/subgit-symlinks new file mode 100755 index 0000000..36551f3 --- /dev/null +++ b/local/bin/subgit-symlinks @@ -0,0 +1,14 @@ +#!/bin/sh + +# lines of form: +# Givenname Last Name (student number) +LIST="${LIST:-/data/courses/students.list}" + +while read line; do + name="${line% (*}" + number="${line%) *}" + number="${number#* (}" + if [ -e "$number" ]; then + ln -s "$number" "$name" + fi +done < "$LIST"