J'essaie d'écrire un script bash robuste et j'y crée un processus d'arrière-plan. À la fin du script, je veux le tuer. J'ai son PID.
Je pensais à quelque chose comme ça
while [[ ps ef $PID ]] ; do
kill $PID
sleep 0.5
done
Quelqu'un suggère-t-il quelque chose de mieux? Des problèmes possibles avec cette approche?
while [[ ps ef $PID ]]
est une erreur de syntaxe. Je suppose que vous vouliez dire while ps ef $PID
.
ps -ef
?