jfgiraud.github.io

Tag: #grep

• 2023-01-12 sed, filtrer comme grep en gardant la première ligne
• 2021-03-04 grep, extraire des données
• 2012-10-12 bash, voir autour des occurences avec grep...
• 2012-09-06 bash, cas conditionel suivant la présence ou non d'un texte dans un fichier