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

16

Je n'arrive pas à comprendre la manière prévue de gérer les extensions de shell Gnome.

Je ne trouve aucun programme approprié 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 - elle n'a absolument aucun sens (elle casse UX, pour un).

Veuillez me dire qu'il existe un plan pour une application native visant à gérer ces extensions pratiques.

gnome gnome3 gnome-shell jcora
la source
3
Ce qui "rompt" l'expérience utilisateur ou non est très subjectif.
Eh bien oui mais je suis bien sûr que l'opinion qu'il ne casse pas l'UX est l'opinion minoritaire. * Attendu: ouvrir l'application native, sélectionner l'extension, installer. Terminé * Actuellement: ouvrez le navigateur, installez l'extension du navigateur, accédez à la page Web, installez l'extension réelle. Terminé.
Jan M.
2
Lorsque j'ai changé mes systèmes de Microsoft Windows XPDebian basé sur l' GNU/Linux Distributionsune des parties les plus éclairantes, user experiencec'est que je n'avais pas besoin d'aller sur les pages Web, de rechercher des applications, de les télécharger et de les installer, mais plutôt de parcourir la liste des paquets via apt-getet d'installer les paquets. De plus, je n'avais pas besoin de faire très attention aux mises à niveau des applications individuelles car cela se faisait avec deux apt commands. D'après mon highly subjectiveexpérience utilisateur, je dois dire que cela se ressent brokenlorsque je dois gérer les extensions de cette façon.
nath

Réponses:

10

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

Que cela ait du sens ou non est également une question d'opinion. Mais oui, cette page est l'outil principal, lisez l' explication d' Owen Taylor .
Quant à la gestion des extensions déjà installées sur votre système, vous pouvez les activer / désactiver via gnome-tweak-tool (ou dconf-editor- GUI, ou gsettings- CLI).

edit:
En réponse à votre commentaire:

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

Quelle version de gnome-shell utilisez-vous? Sur gnome-3.8.2c'est le comportement par défaut, taper extendans la barre de recherche donne à gnome-tweak-toolsavoir le « centre de contrôle local » pour les extensions, voir par vous - même:

entrez la description de l'image ici

don_crissti
la source