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
