LinuxMintを使っていたんだけどライブアップデートに対応していない(ような)ので、リリース毎にインストールするのも面倒だなーと思い、Ubuntuに戻った。戻ったはいいんだけど相変わらずUnityは好きになれないので、GNOME Shellを入れた。デフォルトのGNOME …