Comment les extensions shell Gnome sont-elles censées être gérées?

J'ai de la difficulté à comprendre la façon de gérer les extensions de shell Gnome.

Je ne trouve pas de programmes appropriés dans le Dash pour cela. La seule façon de gérer les extensions est via extensions.gnome.org .

Il est impossible que cette page soit censée être l'outil de gestion des extensions – cela n'a absolument aucun sens (il casse UX, par exemple).

S'il vous plaît dites-moi qu'il existe un plan pour une application native visant à gérer ces extensions pratiques.

Il est impossible que cette page soit censée être l'outil de gestion des extensions – cela n'a absolument aucun sens

Que ce soit logique ou non, c'est aussi une question d'opinion. Mais oui, cette page est l'outil principal, lisez l' explication d' Owen Taylor .
Pour gérer les extensions déjà installées sur votre système, vous pouvez les activer / les désactiver via l' outil gnome-tweak-tool (ou dconf-editor -GUI ou gsettings -CLI).

modifier:
En réponse à votre commentaire:

Je parlais de garder l'UX cohérente. Lorsque je tape "exten" dans la barre de search, je devrais pouvoir accéder à un sharepoint contrôle d'extension.

Quelle version de gnome-shell utilisez-vous? Sur gnome-3.8.2 qui est le comportement par défaut, tapez exten dans la barre de search affiche gnome-tweak-tool c'est gnome-tweak-tool dire le "centre de contrôle local" pour les extensions, voyez par vous-même:

entrer la description de l'image ici