joker
nom→ masculin→. [caractère]. Caractère qui, dans un motif (sens 1), peut en remplacer un ou plusieurs autres, quels que soient ces derniers.
Communément, le joker « . » (point) correspond à n'importe quel caractère. D'autres jokers expriment la position dans la ligne, par exemple « ^ » (début de ligne).
Ce nom provient vraisemblablement du joker qui, dans certains jeux, remplace n'importe quelle carte.
Synonyme méta-caractère.
[modifier] Exemple
Si un fichier nommé monfichier.txt ne contient que les lignes suivantes:
toto tutu tutos atito tata ptato
Et si le joker « . » (un point) signifie « n'importe quel caractère » (c'est la convention employée par grep).
Si nous cherchons une ligne contenant « une lettre t suivie de n'importe quel caractère, lui-même suivi de to » nous pourrons employer grep et invoquerons:
grep t.to monfichier.txtOn obtiendra:
toto tutos atito ptato
Pour chercher « au début d'une ligne une lettre t suivie de n'importe quel caractère, lui-même suivi de to » on utilisera le joker « ^ » qui exprime « ceci est le début d'une ligne ».
grep ^t.to monfichier.txtOn obtiendra:
tuto tutos
Le joker exprimant « fin de ligne » est « $ », de sorte qu'avec:
grep ^t.to$ monfichier.txtOn obtiendra:
tuto tutos
Parfois (mal) orthographié « jocker ».
Synonyme wildcard, caractère générique.
| |
Voir aussi métacaractère, regexp, filtre, échappement, expansion, glob.