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 XP
Debian basé sur l' GNU/Linux Distributions
une des parties les plus éclairantes, user experience
c'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-get
et 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 subjective
expérience utilisateur, je dois dire que cela se ressent broken
lorsque je dois gérer les extensions de cette façon.