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 XPa Debian,GNU/Linux Distributionsuna de las partes más esclarecedorasuser experiencefue que no necesitaba ir a las páginas web, buscar aplicaciones, descargarlas e instalarlas, sino que podía buscar en la lista de paquetesapt-gete 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 subjectiveexperiencia de usuario, tengo que decir que se sientebrokencuando 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.2ese es el comportamiento predeterminado, al escribirextenen la barra de búsqueda aparece,gnome-tweak-tooles decir, el "centro de control local" para extensiones, vea por usted mismo:fuente