Sto cercando di scrivere un robusto script bash e in esso creo un processo in background. Alla fine della sceneggiatura, voglio ucciderlo. Ho il PID.
Stavo pensando a qualcosa del genere
while [[ ps ef $PID ]] ; do
kill $PID
sleep 0.5
done
Qualche suggerimento per qualcosa di meglio? Eventuali problemi con questo approccio?
while [[ ps ef $PID ]]
è un errore di sintassi. Suppongo che intendevi while ps ef $PID
.
ps -ef
?