LinuxテクニックGNOME Shellのカスタマイズに必須!拡張機能をインストールする方法 GNOME Shellに拡張機能(Extensions)を追加することで、自分好みのデスクトップにカスタマイズすることができます。ちょうど、Google ChromeやFirefoxに拡張機能が追加できるのと同じようなものですね。 拡張機... 2017.10.02Linuxテクニック