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