By ronan, 26 août, 2020 BASH: grep multi ligne (dotall) et non gourmant (non-greedy) Avec bash, pour effectuer ce genre de regex avec grep, j'ai trouvé l'astuce suivante: