堅牢なbashスクリプトを記述しようとしています。その中で、バックグラウンドプロセスを作成します。スクリプトの最後に、私はそれを殺したいと思います。PIDがあります。
私はこのような何かを考えていました
while [[ ps ef $PID ]] ; do
kill $PID
sleep 0.5
done
より良い何かのための提案はありますか?このアプローチで考えられる問題はありますか?
while [[ ps ef $PID ]]
構文エラーです。私はあなたが意味しwhile ps ef $PID
たと思います。
ps -ef
?