Tengo problemas para comprender la forma prevista de administrar las extensiones de shell de Gnome.
No puedo encontrar ningún programa apropiado en el tablero para hacer eso. La única forma en que realmente puedo administrar extensiones es a través de extensions.gnome.org .
Es imposible que se suponga que esta página sea la herramienta para administrar extensiones, no tiene absolutamente ningún sentido (rompe UX, por ejemplo).
Por favor, dígame que hay un plan para una aplicación nativa destinada a administrar estas útiles extensiones.
gnome
gnome3
gnome-shell
jcora
fuente
fuente
Microsoft Windows XP
a Debian,GNU/Linux Distributions
una de las partes más esclarecedorasuser experience
fue que no necesitaba ir a las páginas web, buscar aplicaciones, descargarlas e instalarlas, sino que podía buscar en la lista de paquetesapt-get
e instalar los paquetes. Además, no necesitaba tener mucho cuidado con las actualizaciones de aplicaciones individuales, ya que esto se hizo con dosapt commands
. Desde mihighly subjective
experiencia de usuario, tengo que decir que se sientebroken
cuando tengo que administrar Extensiones de esta manera.Respuestas:
Si tiene sentido o no, también es una cuestión de opinión. Pero sí, esa página es la herramienta principal, lea la explicación de Owen Taylor .
En cuanto a la administración de las extensiones ya instaladas en su sistema, puede habilitarlas / deshabilitarlas a través de gnome-tweak-tool (o
dconf-editor
- GUI, ogsettings
- CLI).editar:
en respuesta a tu comentario:
¿Qué versión de gnome-shell estás usando? En
gnome-3.8.2
ese es el comportamiento predeterminado, al escribirexten
en la barra de búsqueda aparece,gnome-tweak-tool
es decir, el "centro de control local" para extensiones, vea por usted mismo:fuente