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

GNOME Shellでテーマを変更するには、エクステンションのUser Themesをインストールする必要がある。ただし、Ubuntu12.04やLinuxMint13においては、User Temesのインストールだけではテーマを変更できないどころかgnome-tweak-toolすら起動しなくなってしま…

ようやくLinuxMintを13にアップデートした。Main Page - Linux MintなんだかんだでGNOME Shellが一番使い勝手が良いのでgnome-sehllとgnome-tweak-toolをインストール。以下はその設定(主にgnome-tweak-tool)。 インストール $ sudo apt-get install gnome-s…