Grep
Révision datée du 24 juillet 2019 à 15:30 par Geo (discussion | contributions) (Page créée avec « == classique == grep -Rl "{{skin url" * ou grep -Rl "{{skin url" /rep == exclure un repertoire == grep -Rl "quetchose" * | grep -v '^unrepertoire/' grep -Rl "fwrite" *... »)
classique
grep -Rl "{{skin url" * ou grep -Rl "{{skin url" /rep
exclure un repertoire
grep -Rl "quetchose" * | grep -v '^unrepertoire/' grep -Rl "fwrite" * | grep -v '^unrepertoire/' | grep -v '^unautrerepertoire/' grep "Googlebot" > Googlebot.txt