Brackets in run.sh

[eduardobb]

with_cuda=0
while [ "$#" -gt 0 ]; do
case $1 in
--model) model="$2"; shift ;;
--with-cuda) with_cuda=1 ;;
*) echo "Unknown parameter passed: $1"; exit 1 ;;
esac
shift
done

For me, the while condition in bash (on Windows 10) only works with [space ... space] and not with double brackets [[ ... ]]