SKIP grep, use AWK | Jonathan Palardy's Blog mardi 4 juillet 2017 à 19:00 Oui mais pas toujours. Grep sait via -P géré beaucoup d'expressions régulières et en comparaison avec awk, grep reste plus rapide sur la capture d'un ou deux groupe — Permalink