• [^] # Re: ZSH et Sid.

    Posté par . En réponse au journal ZSH et Sid.. Évalué à 1.

    349 pskill ()
    350 {
    351 local pid
    352 pid=$(ps -ax | grep 1ドル | grep -v grep | awk '{ print 1ドル }')
    353 echo -n "killing 1ドル (process $pid)..."
    354 kill -9 $=pid
    355 echo "slaughtered."
    356 }


    pkill/pgrep est ton ami

    Bon c'est sur que c'est pas forcement installé partout mais c'est bien pratique tout de même