(12/16更新) いや、実は・・・。 以前に端末のショートカット設定をやったときに、Ctrl+Cをコピーに設定していたようで（汗 それじゃあkillできないよね・・・。 というわけで設定し直したのがこちら： 【Ubuntu】端末のキーボードショートカット設定（コピ…