コマンドラインから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という形式のエントリが表示されます。