私は常にdconf-editorからインストールされたgnome-Shell拡張機能を設定しますが、 公式サイト から拡張機能をインストールした後、公式サイトからインストールされた拡張機能を設定できませんでした(dconfでそれらを見つけられませんでした) -org >> gnome >> Shell >> extensionsの下のエディター)。
だから公式サイトからインストールされた拡張機能を構成する方法???
今のところ、それはできません。
まだアルファ版である公式サイトの拡張機能は、dconfを使用して変更できません。 (少なくともそれらのいくつか)。
ただし、extension.js
および.css
ファイル/home/username/.local/share/gnome-Shell/extensions.
Gnome 3では、次のリンクを使用して拡張機能を構成できます。 https://extensions.gnome.org/local/
これらをオン/オフにしたり、一部の拡張機能で高度な設定を行ったりできます。
ベスト、ユルゲン