文字通り。
killはいいとしてプロセスIDはどう見るんだっけ、と。
killしたいのはデスクトップ上で固まったアプリ。
端末を起動してもただpsだと出てこない。
$ps alx
で出てきた。
目的のジョブぽいものを端末の検索機能で検索して見つける。
プロセスIDをコピーして
$kill ID
で出来た。
ちなみに固まったのはFileZilla。
linux上で動作する、FFFTPみたいなファイル転送ソフトです。
これも固まることがあるんだなぁ、と。
でも、(私の環境では)gFTPよりはまだ安定してるかと思います。
(あくまで私の環境では)兎に角gFTPはすぐフリーズとかしてしまうのですよね……。
という訳で今後も有り難く使わせていただくつもりです。