Try to handle long IDs again

2020-11-27 21:55:42 +01:00 · 2020-11-27 21:55:42 +01:00 · 7550574cdc
commit 7550574cdc
parent 9d968a9795
1 changed files with 3 additions and 1 deletions
--- a/blend.sh
+++ b/blend.sh
@ -4,7 +4,9 @@ PREFIX=djfz-2020

 cd ..

-STUDENT_DIR=`ls -d ${PREFIX}-s??????`
+shopt -s extglob
+
+STUDENT_DIR=`ls -d ${PREFIX}-s+([0-9])`

 echo "USING $STUDENT_DIR"