Bash-Snippet, um einen Prozess zu beenden, bis er tot ist?

Ich versuche, ein robustes Bash-Skript zu schreiben, und darin erstelle ich einen Hintergrundprozess. Am Ende des Skripts möchte ich es töten. Ich habe es PID. Ich dachte an so etwas while [[ ps ef $PID ]] ; do kill $PID sleep 0.5 done Irgendwelche Vorschläge für etwas Besseres? Mögliche...