web-dev-qa-db-ja.com

Gsettings（Gnome-Tweaks）でユーザーテーマを有効にする方法

私はchroot環境で作業していますが、ターミナルでgnome-Shellテーマを設定するコマンドが必要です。この場合、私はgnome-tweaks拡張タブで「ユーザーテーマ」設定をどのように切り替えるのか不思議に思っています（写真を参照）。 GUI経由の切り替えは簡単ですが、これまでのところ、コマンドラインから切り替える方法はわかりません。

I need to enable this extension in terminal

18.04gnomethemesgsettings
1
András Pataki

最初に、ターミナルを使用して「ユーザーテーマ」拡張機能をインストールするには、まだ行っていない場合は、次のコマンドを実行します。

Sudo apt install gnome-Shell-extensions

これにより、「ユーザーテーマ」拡張機能が他の多くの拡張機能とともにインストールされます。

必要がない限り、gsettingsを使用する必要はありません。 gnome-Shell-extension-toolを使用して、必要な拡張機能を有効にできます。具体的には、「ユーザーテーマ」を有効にするために、実行する必要があるコマンドは次のとおりです。

gnome-Shell-extension-tool -e user-themes

パラメータ-eは、拡張機能を有効にするようgnome-Shell-extension-toolに指示します。

-dの代わりに-eパラメータを使用して拡張機能を無効にすることもできます。

1
user3140225

最初に以下のコマンドで有効な拡張機能を取得します

gsettings get org.gnome.Shell enabled-extensions

例;

pratap@i7:~$ gsettings get org.gnome.Shell enabled-extensions
['[email protected]']
pratap@i7:~$

次に、取得した出力に拡張名を追加します

例;

gsettings set org.gnome.Shell enabled-extensions "['[email protected]', '[email protected]']"
1
PRATAP