Gnomeの拡張機能
Gnomeを使って気になったのはパネルの味気無さ。
凄くシンプルで表示される情報が少ない気がする。パネルにゴチャゴチャと情報を表示して使いたい私には物足りない。その場合は、Gnomeの拡張機能を追加してカスタマイズします。
カスタマイズは凄く簡単で、gnome.extensionsに行って拡張機能をONにするだけ。
拡張機能のオンオフを臨機応変に切り替えたい人は、最初にExtensionsを入れておくとパネル上のアイコンから拡張機能のオンオフができて便利なのでお勧めします。これは、一時的なON OFF機能なので、ログアウトログインすると元の表示設定に戻ってしまいます。普段使わないが、偶に使うようなエクステンションの切り替え時に使う用途に向いています。大本のON OFFや追加した拡張機能の削除は、Tweakツールの拡張機能から行います。
Tweak Toolのインストールは、Ubuntuソフトウェアセンターか、端末から「sudo apt install gnome-tweak-tool」でインストールします。
拡張機能が面白過ぎてパネルが大変なことになってしまいました。😫
凄くシンプルで表示される情報が少ない気がする。パネルにゴチャゴチャと情報を表示して使いたい私には物足りない。その場合は、Gnomeの拡張機能を追加してカスタマイズします。
カスタマイズは凄く簡単で、gnome.extensionsに行って拡張機能をONにするだけ。
拡張機能のオンオフを臨機応変に切り替えたい人は、最初にExtensionsを入れておくとパネル上のアイコンから拡張機能のオンオフができて便利なのでお勧めします。これは、一時的なON OFF機能なので、ログアウトログインすると元の表示設定に戻ってしまいます。普段使わないが、偶に使うようなエクステンションの切り替え時に使う用途に向いています。大本のON OFFや追加した拡張機能の削除は、Tweakツールの拡張機能から行います。
Tweak Toolのインストールは、Ubuntuソフトウェアセンターか、端末から「sudo apt install gnome-tweak-tool」でインストールします。
拡張機能が面白過ぎてパネルが大変なことになってしまいました。😫