Bing: Linuxで標準入力で与えたプロセスIDをkillするには、killコマンドを使います。killコマンドは指定したプロセスIDのプロセスを終了させます。例えば、プロセスIDが1234のプロセスを終了させる場合、以下のように入力します。
$ kill 1234
また、プロセスを正常終了させるには、オプションを省略するか、「-15」または「-TERM」を指定してkillコマンドを実行します。例えば、geditというテキストエディタをkillコマンドで終了させる場合、以下のように入力します。
$ kill gedit
Bing: プロセスIDを標準出力で出力した場合、以下のようにコマンドを実行することができます。まず、プロセスIDをgrepコマンドで抽出し、killコマンドでプロセスを終了します。
$ ps aux | grep <プロセス名>
$ kill -9 <PID>
例えば、プロセス名がchrome
である場合、以下のように実行します。
$ ps aux | grep chrome
$ kill -9 <PID>
ここで、<PID>
は標準出力で得られたプロセスIDです。
Bing: はい、以下のように一行で書くことができます。
$ kill -9 $(ps aux | grep <プロセス名> | awk '{print $2}')
例えば、プロセス名がchrome
である場合、以下のように実行します。
$ kill -9 $(ps aux | grep chrome | awk '{print $2}')
ここで、<プロセス名>
は標準出力で得られたプロセス名です。