From 22a0d82b5191b684ed495937a8f6298d37dd88df Mon Sep 17 00:00:00 2001 From: Martin Goik <goik@hdm-stuttgart.de> Date: Tue, 6 Feb 2024 06:39:27 +0100 Subject: [PATCH] Ignoding uid case problems --- AuswertungKlausur/noten.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/AuswertungKlausur/noten.sh b/AuswertungKlausur/noten.sh index 6c23c4c5b..76c251a3e 100755 --- a/AuswertungKlausur/noten.sh +++ b/AuswertungKlausur/noten.sh @@ -104,7 +104,7 @@ mv *.zip $1.zip #for zip in "$@" #do echo Bonuspunkte: -grep $1 ~/C/HdM/Auswertung/bonus.txt +grep -i $1 ~/C/HdM/Auswertung/bonus.txt evaluateProject $1.zip mv $1.zip Ready -- GitLab