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
Prochaine révision		 Révision précédente
debian:astuces [2020/04/28 23:02] – erreur32debian:astuces [2022/11/08 16:43] (Version actuelle) – modification externe 127.0.0.1
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.1588107769.txt
  • Dernière modification : 2020/04/28 23:02
  • de erreur32