Le 10/01/02, Pierre SOUCHAY a ecrit: > > au lieu de: > > > > [ "$(ps wux |grep xpenguin |grep -v grep)" ] || /usr/bin/X11/xpenguin > > > > on peut raccourcir d'un grep avec: > > > > [ "$(ps wux |grep [x]penguin)" ] || /usr/bin/X11/xpenguin > > > > Je vous laisse le loisir de comprendre pourquoi �a marche. > > (�a m'a moi-m�me mis quelque bonnes minutes d'y voir clair :-) > Bon sang ! c'est hyper malin comme truc ! > quand je pense que je me suis fait chier souvent � mettre plusieurs grep :) > > Bravo, j'applaudis :)
� noter qu'on peut m�me faire tout court (allons-y, enculons les mouches...): ps wux | grep -q xpengu\\in || /usr/bin/X11/xpenguin (double \, [], m�me combat.) Le code de sortie de grep suffit pour dire si on doit aller plus loin. -- Manu
