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édente | Dernière révisionLes deux révisions suivantes | ||
| grep [2020/04/26 13:31] – crust | grep [2020/04/26 13:31] – [Les principales options de grep] crust | ||
|---|---|---|---|
| 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
