Fix system for longer IDs

This commit is contained in:
Filip Gralinski 2020-11-27 21:51:16 +01:00
parent dc8cfdbb32
commit 10fb0cffa7

View File

@ -4,7 +4,7 @@ PREFIX=djfz-2020
cd .. cd ..
STUDENT_DIR=`ls -d ${PREFIX}-s??????` STUDENT_DIR=`ls -d ${PREFIX}-s??????*`
echo "USING $STUDENT_DIR" echo "USING $STUDENT_DIR"