Blog dans lequel je note comme aide-mémoire les trucs et astuces que j'ai utilisés pour configurer selon mes besoins mes machines sous Linux Ubuntu Raspbian Macosx Windows.
obtenir le pid
ps aux | egrep "Z|defunct"
ensuite pour obtenir le parent
ps -o ppid= -p #pid
vérifier si le pid parent existe
ps -e |grep #pid
enfin
sudo kill -SIGKILL #pid
Aucun commentaire:
Enregistrer un commentaire