fixed a couple of bugs in the shell scripts#12

Merged

oschonrock merged 2 commits intooschonrock:mainfrom muzso:main

Feb 18, 2025

+169-122

Commits on Feb 18, 2025

bugfixes in shell scripts (mostly handling of variables with values containing whitespaces)
Zsolt Müller
committed
the 'case in' line failed with unbound variable if last cmdline argument was "--", plus replaced standard "[ ... ]" conditionals with bashism
Zsolt Müller
committed