$$
特殊変数がシェルのプロセス番号を保持していることがわかった後、単にシェルを終了しようとしましたが、うまくいきませんkill <pid obtained by echo $$>
でした。また、いくつかのバリエーションを試しましたが、効果がありませんでした。
ベストアンサー1
Bashのマニュアルをチェックしてください:
Bashがインタラクティブの場合、トラップなしでSIGTERMを無視します。
https://www.gnu.org/software/bash/manual/bashref.html#Signals
kill
ヘルプテキストを確認してください(help kill
bashプロンプトで):
SIGSPEC と SIGNUM の両方がない場合、SIGTERM と見なされます。
https://www.gnu.org/software/bash/manual/bashref.html#index-kill