Open eduardobb opened 11 months ago
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 [[ ... ]]
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 [[ ... ]]