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
つまり、拡張機能の「ローカルコントロールセンター」。自分で確認してください。