Précédent   Forum des professionnels en informatique > Systèmes > Linux > Applications > Shell
Shell Vos questions sur l'utilisation des commandes shell
Partagez cette discussion sur d'autres réseaux sociaux : Viadeo Twitter Google Facebook Digg Delicious MySpace Yahoo
Réponse Proposer ce sujet en actualité
 
Outils de la discussion
Publicité
'
Vieux 31/01/2012, 11h00   #1
Membre habitué
 
Inscription : avril 2007
Messages : 491
Détails du profil
Informations forums :
Inscription : avril 2007
Messages : 491
Points : 114
Points : 114
Par défaut expression regulière simple

Bonjour je veux tester que ce que l'utilisateur entre via zenety est un nombre de cinq chiffres, du coup je me sert d'une expression régulière qui marche à moitié, elle vérifie bien que les cinq premiers caractères sont des entiers mais après le user peut rentrer n'importe quoi et sa marche alors que je ne veux que cinq chiffres voici ma fonction
Code :
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
  get_serial
        {
 
                while true
                do
                         serial=$(zenity --entry --text "entrez le numero de serie du disk composé de cinq chiffres")
                        if [[ $serial =~([0-9]){5} ]] ; then
                                 echo $serial
                                break
                        else
                                echo " votre numero de serie doit être un nombre composé de cinq chiffre"
                                continue
                        fi
                done
        }
j'ai même fait un truc comme ça
Code :
if [[ $serial =~([0-9]){5}$ ]]
mais ça ne marche pas.
merci
sebac est déconnecté   Envoyer un message privé Réponse avec citation 00
Vieux 31/01/2012, 11h30   #2
Expert Confirmé
 
Inscription : janvier 2011
Messages : 970
Détails du profil
Informations personnelles :
Localisation : France, Haute Garonne (Midi Pyrénées)

Informations forums :
Inscription : janvier 2011
Messages : 970
Points : 2 871
Points : 2 871
Salut,

Citation:
Code :
if [[ $serial =~([0-9]){5} ]]
Je ne pense pas que bash gère ce genre de regex

Essaie plutôt avec un "grep" :

Code :
1
2
3
if egrep -qo '\<[0-9]{5}\>' <<<$serial
then
...
__________________
$ man woman
Il n'y a pas de page de manuel pour woman.
zipe31 est déconnecté   Envoyer un message privé Réponse avec citation 00
Vieux 31/01/2012, 11h38   #3
Membre habitué
 
Inscription : avril 2007
Messages : 491
Détails du profil
Informations forums :
Inscription : avril 2007
Messages : 491
Points : 114
Points : 114
merci zipe31 ça marche.
sebac est déconnecté   Envoyer un message privé Réponse avec citation 00
Vieux 31/01/2012, 13h09   #4
Expert Confirmé Sénior
 
Avatar de N_BaH
 
Inscription : février 2008
Messages : 2 072
Détails du profil
Informations forums :
Inscription : février 2008
Messages : 2 072
Points : 4 155
Points : 4 155
Bonjour,

Citation:
Envoyé par zipe31
Je ne pense pas que bash gère ce genre de regex
mais si, il le fait :
Code :
1
2
3
4
5
6
for serial in 1234 12345 123456
do if [[ $serial =~ ^([0-9]){5}$ ]]; then echo ok; else echo KO; fi
done
KO
ok
KO
il faut bien délimiter avec ^ et $ pour que bash ne trouve pas le motif n'importe où dans la chaîne.
N_BaH est déconnecté   Envoyer un message privé Réponse avec citation 10
Vieux 31/01/2012, 13h26   #5
Expert Confirmé
 
Inscription : janvier 2011
Messages : 970
Détails du profil
Informations personnelles :
Localisation : France, Haute Garonne (Midi Pyrénées)

Informations forums :
Inscription : janvier 2011
Messages : 970
Points : 2 871
Points : 2 871
Salut,

Citation:
Envoyé par N_BaH Voir le message
mais si, il le fait :
Code :
 if [[ $serial =~ ^([0-9]){5}$ ]]
il faut bien délimiter avec ^ et $ pour que bash ne trouve pas le motif n'importe où dans la chaîne.
Oups

Merci


PS. En fait c'était pour voir si tu suivais bien
__________________
$ man woman
Il n'y a pas de page de manuel pour woman.
zipe31 est déconnecté   Envoyer un message privé Réponse avec citation 00
Réponse Proposer ce sujet en actualité Cette discussion est résolue.
Outils de la discussion



Fuseau horaire GMT +2. Il est actuellement 07h13.


 
 
 
 
Partenaires

Hébergement Web