オリジナルUNIXに敬意を表して、その子孫であるbashのコマンドライン補完機能を先にみていくことにしよう。bashでは、タブキーを使ってコマンドラインの補完を行う。このとき、すでに入力された文字に応じて、補完方法が異なる。補完対象の文字列が ...

killコマンドにはいくつか使い方があるのだが、代表的なのは「kill プロセスID」または「kill -9 プロセスID」といった使い方だろう。前者はプロセスの終了、後者はプロセスの強制終了だ。終了対象となるプロセスIDは、psコマンドなどを使って調べることになる ...