[CLI Wiki] page ajoutée : filtres:grep
Une page dans votre Wiki a été ajoutée ou modifiée. Voici les détails : Date : 2008/12/16 17:16 Navigateur : Mozilla/5.0 (X11; U; Linux i686; fr; rv:1.9.0.4) Gecko/2008111317 Ubuntu/8.04 (hardy) Firefox/3.0.4 Adresse IP : 140.77.250.195 Nom d'hôte : thalie.cri-admin.ens-lyon.fr Ancienne révision : none Nouvelle révision : http://cli.asyd.net/home/filtres/grep Résumé : créée + tip [] Utilisateur : lois ====== grep ====== cherche un motif dans la sortie standard. On peut accumuler les motifs avec l'option ''-e "motif1" -e "motif2"''. ==== Tips ==== * trick "grep []" : les [] dans la liste sont interprétés par grep et évitent de voir apparaitre le pid du grep, et ainsi de le passer inutilement en paramètre ; exemple : <code bash> ltaulell@thalie:~$ ps fax | grep xchat 31151 pts/5 S+ 0:00 | \_ grep xchat 1731 ? Sl 0:58 xchat ltaulell@thalie:~$ ps fax | grep [x]chat 1731 ? Sl 0:58 xchat </code> -- Ce message a été généré par DokuWiki http://cli.asyd.net/home/
participants (1)
-
noreply@asyd.net