debian:astuces

Différences

Ci-dessous, les différences entre deux révisions de la page.

Lien vers cette vue comparative

Les deux révisions précédentes Révision précédente
Dernière révisionLes deux révisions suivantes
debian:astuces [2020/04/28 23:02] – erreur32debian:astuces [2020/04/28 23:03] – erreur32
Ligne 30: Ligne 30:
   $  grep -L -re "xxx" * | xargs grep -l -re "yyy"   $  grep -L -re "xxx" * | xargs grep -l -re "yyy"
  
 +{{tag>bash tips astuces}}
  • debian/astuces.txt
  • Dernière modification : 2022/11/08 16:43
  • de 127.0.0.1