S'assure que l'OS choisi pour installation est un nombre (#6183)

* S'assure que l'OS choisi pour installation est un nombre Fix #5343 * Fix typo in scripts/install_zds.sh Co-authored-by: Arnaud-D <[email protected]>
zestedesavoir · Oct 3, 2021 · 3ff576e · 3ff576e
1 parent 3259547
commit 3ff576e
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/scripts/install_zds.sh b/scripts/install_zds.sh
@@ -89,6 +89,11 @@ if  ! $(_in "-packages" $@) && ( $(_in "+packages" $@) || $(_in "+base" $@) || $
         read -n 1
         echo ""
 
+        if ! [ "$REPLY" -eq "$REPLY" ] 2> /dev/null; then # check $REPLY contains a number
+            print_error "!! You have to pick a number!"
+            exit 1
+        fi
+
         filepath="${arr[$REPLY]}"
         if [[ $filepath == "" ]]; then
             print_error "!! You don't pick the right choice."