diff options
author | Robert Alessi <alessi@robertalessi.net> | 2018-09-27 19:02:18 +0200 |
---|---|---|
committer | Robert Alessi <alessi@robertalessi.net> | 2018-09-27 19:02:18 +0200 |
commit | 589e08742446243a14c2cec8db4a0d036b8df288 (patch) | |
tree | 7ff6a8032b423db5e7dae4b4c515d7499932dc33 /fichiers/scripts | |
parent | 76b155233eb209fadb8cc5c07eeac385ea4ae260 (diff) | |
download | courses-589e08742446243a14c2cec8db4a0d036b8df288.tar.gz |
added a test in rah.sh
Diffstat (limited to 'fichiers/scripts')
-rw-r--r-- | fichiers/scripts/rah.sh | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/fichiers/scripts/rah.sh b/fichiers/scripts/rah.sh index 9219e0a..20a52db 100644 --- a/fichiers/scripts/rah.sh +++ b/fichiers/scripts/rah.sh | |||
@@ -2,6 +2,14 @@ | |||
2 | 2 | ||
3 | read -p 'Combien de fois tirez-vous la queue du lion? ' rahtimes | 3 | read -p 'Combien de fois tirez-vous la queue du lion? ' rahtimes |
4 | 4 | ||
5 | isnum='^[0-9]+$' | ||
6 | |||
7 | if ! [[ $rahtimes =~ $isnum ]] | ||
8 | then | ||
9 | echo "Erreur: il faut saisir un chiffre." | ||
10 | exit 1 | ||
11 | fi | ||
12 | |||
5 | # Définition du compteur de rugissements: | 13 | # Définition du compteur de rugissements: |
6 | rah=1 | 14 | rah=1 |
7 | 15 | ||