diff options
Diffstat (limited to 'fichiers/scripts')
-rw-r--r-- | fichiers/scripts/rah.sh | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/fichiers/scripts/rah.sh b/fichiers/scripts/rah.sh index 20a52db..16fbfad 100644 --- a/fichiers/scripts/rah.sh +++ b/fichiers/scripts/rah.sh | |||
@@ -2,11 +2,12 @@ | |||
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]+$' | 5 | isnum='^[0-9]+$' # voir le cours sur grep |
6 | 6 | ||
7 | if ! [[ $rahtimes =~ $isnum ]] | 7 | if ! [[ $rahtimes =~ $isnum ]] # ce type de test ne fait pas partie du |
8 | # programme | ||
8 | then | 9 | then |
9 | echo "Erreur: il faut saisir un chiffre." | 10 | echo "Erreur: il faut saisir un nombre entier." |
10 | exit 1 | 11 | exit 1 |
11 | fi | 12 | fi |
12 | 13 | ||