• grep -Ire texte_à_chercher

Recherche dans tous les fichiers

• grep -IPrine '\begin{.?}|\end{.?}'
  • Bien utiliser des guillemets simples pour que bash ne fasse pas d'expansion !
  • I : Ignore les fichiers binaires (non textuels)
  • P : Perl syntax, pour pouvoir utiliser le match Greedy : '.*?'
  • r : récursif, par défaut sur le répertoire courant
  • i : ignore case
  • n : line number
  • e : expression... (Forcément en dernier sur la ligne de commande !)

Extraire l'expression matchée

• grep -IPhorie '\begin{.?}|\end{.?}' filename
  • Bien utiliser des guillemets simples pour que bash ne fasse pas d'expansion !
  • I : Ignore les fichiers binaires (non textuels)
  • P : Perl syntax, pour pouvoir utiliser le match Greedy : '.*?'
  • h : no header, pas le nom du fichier (only with GNU grep ?)
  • o : only the match
  • r : récursif, par défaut sur le répertoire courant
  • i : ignore case
  • e : expression... (Forcément en dernier sur la ligne de commande !)