ubuntuでジョブデスクトップ上でフリーズしたアプリをkillする

文字通り。
killはいいとしてプロセスIDはどう見るんだっけ、と。

killしたいのはデスクトップ上で固まったアプリ。

端末を起動してもただpsだと出てこない。

$ps alx

で出てきた。

目的のジョブぽいものを端末の検索機能で検索して見つける。
プロセスIDをコピーして

$kill ID

で出来た。

ちなみに固まったのはFileZilla。
linux上で動作する、FFFTPみたいなファイル転送ソフトです。

これも固まることがあるんだなぁ、と。
でも、(私の環境では)gFTPよりはまだ安定してるかと思います。
(あくまで私の環境では)兎に角gFTPはすぐフリーズとかしてしまうのですよね……。

という訳で今後も有り難く使わせていただくつもりです。