Gnomeの拡張機能

Gnomeを使って気になったのはパネルの味気無さ。
凄くシンプルで表示される情報が少ない気がする。パネルにゴチャゴチャと情報を表示して使いたい私には物足りない。その場合は、Gnome拡張機能を追加してカスタマイズします。
カスタマイズは凄く簡単で、gnome.extensionsに行って拡張機能をONにするだけ。

Screenshot-20170617100648-771x404










拡張機能のオンオフを臨機応変に切り替えたい人は、最初にExtensionsを入れておくとパネル上のアイコンから拡張機能のオンオフができて便利なのでお勧めします。これは、一時的なON OFF機能なので、ログアウトログインすると元の表示設定に戻ってしまいます。普段使わないが、偶に使うようなエクステンションの切り替え時に使う用途に向いています。大本のON OFFや追加した拡張機能の削除は、Tweakツールの拡張機能から行います。

Screenshot-20170617101957-1024x1280















Tweak Toolのインストールは、Ubuntuソフトウェアセンターか、端末から「sudo apt install gnome-tweak-tool」でインストールします。


Screenshot-20170617100630-950x700














拡張機能が面白過ぎてパネルが大変なことになってしまいました。😫