grep
Différences
Ci-dessous, les différences entre deux révisions de la page.
| Les deux révisions précédentesRévision précédente | |||
| grep [2016/01/26 13:42] – simon | grep [Date inconnue] (Version actuelle) – supprimée - modification externe (Date inconnue) 127.0.0.1 | ||
|---|---|---|---|
| Ligne 1: | Ligne 1: | ||
| - | ====== La commande " | ||
| - | La page de [[man de grep]]. | ||
| - | |||
| - | ==== Exemples ==== | ||
| - | Voici un fichier de test : | ||
| - | < | ||
| - | $ cat fichier-test.txt | ||
| - | # ligne1 | ||
| - | ligne2 | ||
| - | # ligne3 | ||
| - | ligne4 | ||
| - | ligne5 # | ||
| - | </ | ||
| - | |||
| - | Pour sélectionner les lignes qui commencent par "#" | ||
| - | < | ||
| - | $ grep ^# fichier-test.txt | ||
| - | # ligne1 | ||
| - | # ligne3 | ||
| - | </ | ||
| - | |||
| - | Pour sélectionner les lignes qui ne commencent pas par "#" | ||
| - | < | ||
| - | $ grep -v ^# fichier-test.txt | ||
| - | ligne2 | ||
| - | ligne4 | ||
| - | ligne5 # | ||
| - | </ | ||
grep.1453815774.txt.gz · Dernière modification : 2020/08/09 12:59 (modification externe)