Gnomeシェル拡張を管理する方法は?

Gnomeシェル拡張を管理する方法は?

Gnome シェル拡張を管理する意図した方法を理解できません。

Dashでこれを行うのに適したプログラムが見つかりません。実際に拡張機能を管理する唯一の方法はExtension.gnome.org

このページは拡張機能を管理するためのツールではありません。まったく意味がありません(一度、ユーザーエクスペリエンスを損なう)。

これらの便利な拡張機能を管理するように設計された基本アプリケーションの計画があるかどうかを教えてください。

答え1

このページは拡張機能管理ツールではありません。まったく言葉にはなりません。

意味があるかどうかは意見の問題です。しかし、そうです。ページは主なツールです。 Owen Taylorの説明する。
システムにインストールされている拡張機能を管理している場合は、次の方法で有効/無効にできます。GNOME調整ツール(またはdconf-editor- GUI またはgsettings- CLI).

編集する:
あなたのコメントに答えてください:

私はユーザーエクスペリエンスを一貫して維持することについて話しています。 「exten」と入力すると 検索ボックスから特定の拡張コントロールポイントにアクセスできる必要があります。

どのバージョンのgnome-shellを使用していますか?これはgnome-3.8.2デフォルトの動作です。exten検索ボックスに入力すると、拡張機能のローカルコントロールセンターが表示されます。gnome-tweak-tool自分で確認してください。

ここに画像の説明を入力してください。

関連情報