コマンドラインからgnome-shell拡張機能を有効/無効にする方法

一連のgnome-shell拡張機能を正常にインストールしたとしましょう。しかし、コマンドラインから無効化/無効化したいです。これは、マウスアクションAFAIKを介してのみ可能です。

どうやってやるの ？

Gnome wikiでよく説明されています：

これを行うには、GSettingsキー、org.gnome.shell.enabled-extensions、またはGNOME Tweak Toolやgnome-shell-extension-toolの最新バージョンなど、このGSettingsキーを操作するいくつかのツールを使用します。

を呼び出すとgnome-shell-extension-tool --help、名前で拡張機能を有効または無効にできることがわかります。たとえば、次のコマンドはユーザーテーマを有効にします。

gnome-shell-extension-tool -e user-theme

ああ、そうするとローカルにインストールされたすべての拡張機能の名前を取得できますls ~/.local/share/gnome-shell/extensions。フォームのエントリが表示されますthe-name@author。