2014-02-08 UbuntuへGNOMEをインストール Linux デスクトップ環境 インストール 端末から実行sudo apt get update sudo apt-get install gnome-shell-extensionsこのとき上記のパッケージだけでなく、 GNOME本体やGNOME Tweak Toolなどもインストールされる。再起動するとログイン画面でGNOMEが選べるようになる。 設定は「システム設定」と「GNOME Tweak Tool」から行う。フォントやテーマなどは基本的にTweak Toolから行うので注意。