« Grep » : différence entre les versions

@@ Ligne 1 : / Ligne 1 : @@
 == classique ==
- grep -Rl "{{skin url" * ou grep -Rl "{{skin url" /rep
+<syntaxhighlight lang="bash" line copy>
+grep -Rl "{{skin url" * ou grep -Rl "{{skin url" /rep
+</syntaxhighlight>
 == exclure un repertoire ==
- grep -Rl "quetchose" * | grep -v '^unrepertoire/'
+<syntaxhighlight lang="bash" line>
- grep -Rl "fwrite" * | grep -v '^unrepertoire/' | grep -v '^unautrerepertoire/'
+grep -Rl "quetchose" * | grep -v '^unrepertoire/'
- grep "Googlebot" > Googlebot.txt
+grep -Rl "fwrite" * | grep -v '^unrepertoire/' | grep -v '^unautrerepertoire/'
+grep "Googlebot" > Googlebot.txt
+</syntaxhighlight>
 == résultats détaillés ==
 === affiche les fichiers triés par date précédés du nom du répertoire ===
-  ls -lRt | egrep '^\.|*'
+<syntaxhighlight lang="bash" line copy>
+ ls -lRt | egrep '^\.|*'
+</syntaxhighlight>
 [[category:Linux]]