¿Fragmento de Bash por matar un proceso hasta que esté muerto?
Estoy tratando de escribir un script bash robusto, y en él creo un proceso en segundo plano. Al final del guión, quiero matarlo. Tengo su PID. Estaba pensando en algo como esto while [[ ps ef $PID ]] ; do kill $PID sleep 0.5 done ¿Alguna sugerencia para algo mejor? ¿Algún problema posible con...