2014-02-08から1日間の記事一覧
端末から実行sudo apt get update sudo apt-get install gnome-shell-extensionsこのとき上記のパッケージだけでなく、 GNOME本体やGNOME Tweak Toolなどもインストールされる。再起動するとログイン画面でGNOMEが選べるようになる。 設定は「システム設定」…
端末から実行sudo apt get update sudo apt-get install gnome-shell-extensionsこのとき上記のパッケージだけでなく、 GNOME本体やGNOME Tweak Toolなどもインストールされる。再起動するとログイン画面でGNOMEが選べるようになる。 設定は「システム設定」…