2021-05-24 15:01:57 +02:00
|
|
|
#!/bin/sh
|
|
|
|
|
|
|
|
|
|
# lines of form:
|
|
|
|
|
# Givenname Last Name (student number) <email address>
|
2022-01-04 00:25:10 +01:00
|
|
|
LIST="${LIST:-$HOME/.local/share/students.list}"
|
2021-05-24 15:01:57 +02:00
|
|
|
|
|
|
|
|
while read line; do
|
|
|
|
|
name="${line% (*}"
|
|
|
|
|
number="${line%) *}"
|
|
|
|
|
number="${number#* (}"
|
|
|
|
|
if [ -e "$number" ]; then
|
|
|
|
|
ln -s "$number" "$name"
|
|
|
|
|
fi
|
|
|
|
|
done < "$LIST"
|
