diff options
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 | ||