Outils pour utilisateurs
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édenteProchaine révision | Révision précédente | ||
| grep [2020/04/26 13:31] – crust | grep [2020/11/02 20:57] (Version actuelle) – [1.5 Remplacement de caractères] cyrille | ||
|---|---|---|---|
| Ligne 125: | Ligne 125: | ||
| <code bash>$ grep " | <code bash>$ grep " | ||
| - | ==== 1.5 Remplacement | + | ==== 1.5 Occurence |
| Ligne 354: | Ligne 354: | ||
| | --color| Afficher l’occurence en couleur| | | --color| Afficher l’occurence en couleur| | ||
| - | + | ||
| - | Grep plus en détail | + | ==== Grep plus en détail |
| <code bash>$ man grep</ | <code bash>$ man grep</ | ||
grep.txt · Dernière modification : 2020/11/02 20:57 de cyrille
Sauf mention contraire, le contenu de ce wiki est placé sous les termes de la licence suivante : CC Attribution-Noncommercial-Share Alike 4.0 International
