長らく KDE にしてたんだけど、Cinnamon という GNOME3 のフォークがあると聞いて、今はそれを使ってる。 Cinnamon では GNOME のパッケージをそのまま使えるらしい。 GNOME をアンインストールしていたので、インストールしたんだけど、gnome-terminal が起…