ようやくLinuxMintを13にアップデートした。 Main Page - Linux Mint なんだかんだでGNOME Shellが一番使い勝手が良いのでgnome-sehllとgnome-tweak-toolをインストール。以下はその設定(主にgnome-tweak-tool)。 インストール $ sudo apt-get install gnome-shell $ sudo apt-get install gnome-tweak-tool gnome-shell-extensions Mint13を新規にインストールしたところ、Mint12のときにはあったgnome-shell-extensions(拡張パックのようなもの)がなかったので、欲しい拡張だけ自分で揃えた。 GNOME Shell Extensionsはブラウザ上で拡張を(enable|diable)設定が可能。gno