« Grep » : différence entre les versions
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" *... » |
(Aucune différence)
|
Version du 24 juillet 2019 à 14:30
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