From 7550574cdc96438abe564843dce24a9963f8aa7a Mon Sep 17 00:00:00 2001 From: Filip Gralinski Date: Fri, 27 Nov 2020 21:55:42 +0100 Subject: [PATCH] Try to handle long IDs again --- blend.sh | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/blend.sh b/blend.sh index a7ba251..d92ec26 100755 --- 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"