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.
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.
