Gnome Shell拡張機能はどのように管理されることになっていますか？
Gnome Shell拡張機能を意図的に管理する方法を理解できません。
Dashでそれを行うための適切なプログラムが見つかりません。拡張機能を実際に管理できる唯一の方法は extensions.gnome.org を使用することです。
このページが拡張機能を管理するためのツールであることは不可能です-まったく意味がありません（UXを1つ破壊します）。
これらの便利な拡張機能の管理を目的としたネイティブアプリケーションの計画があることを教えてください。
このページが拡張機能を管理するためのツールであることは不可能です-まったく意味がありません
それが理にかなっているかどうかも意見の問題です。しかし、はい、そのページがメインツールです。オーエンテイラーの 説明。 を読んでください。
システムにすでにインストールされている拡張機能の管理については、 gnome-Tweak-tool （またはdconf-editor-GUI、またはgsettings-CLI）。
edit：
コメントへの返信：
私はUXの一貫性を保つことについて話していました。検索バーに「exten」と入力すると、拡張コントロールポイントに到達できるはずです。
使用しているgnome-Shellのバージョンは何ですか？オン gnome-3.8.2これがデフォルトの動作です。検索バーにextenと入力するとgnome-Tweak-toolつまり、拡張機能の「ローカルコントロールセンター」。自分で確認してください。
