Définition simple
Une commande utilisée pour rechercher du texte correspondant à un motif.
Définition technique
grep parcourt fichiers ou flux et peut utiliser expressions régulières, récursivité et filtres.
À quoi cela sert ?
Trouver rapidement une erreur ou une information dans des logs.
Exemple concret
grep -i error /var/log/application.log recherche les lignes contenant error sans tenir compte de la casse.
Problèmes fréquents
- Expression trop large
- Binaire parcouru par erreur
- Résultat incomplet sans récursivité
Termes associés
À retenir : les comportements et commandes précises peuvent varier selon les versions, produits et architectures.
Approfondissement et preuve primaire
grep recherche des lignes correspondant à un motif dans des fichiers ou des flux. Les résultats dépendent du type d’expression régulière choisi, des options de casse, de récursivité et du traitement des fichiers binaires. Un motif interprété par le shell avant d’arriver à grep peut donner un résultat très différent du motif que l’on pense avoir saisi.
Vérification approfondie
Pour une recherche fiable, protéger le motif avec des guillemets adaptés, choisir explicitement les expressions de base, étendues ou fixes et tester d’abord sur un petit échantillon connu. En récursif, contrôler les exclusions et liens symboliques. Vérifier aussi le code de retour : grep distingue correspondance trouvée, aucune correspondance et erreur d’exécution.
Critère de validation
La commande est validée lorsqu’elle trouve les lignes positives attendues, exclut des cas négatifs connus et retourne le code d’état compatible avec l’automatisation qui l’appelle. Pour un script, éviter de conclure à une erreur simplement parce que la sortie est vide : l’absence de correspondance a une sémantique distincte d’une erreur de lecture.
Référence primaire : GNU — grep manual.