Las extensiones de GNOME Shell son pequeños fragmentos que amplían la funcionalidad y las características de GNOME Shell. Estos fragmentos están escritos en JavaScript y CSS.
¿Cómo instalo las extensiones de GNOME Shell? ¿Es posible actualizar, eliminar y administrar las
En Gnome Tweak Tool, no puedo cambiar el tema de Shell: Al pasar por encima de los espectáculos signo de exclamación la siguiente herramienta de punta: Shell user-theme extension not enabled. Estoy usando Ubuntu 14.10 y he instalado
El shell de GNOME tiene la llamada función "hot corner", que abre el tablero si el mouse toca la esquina superior izquierda de la pantalla de un monitor. Quiero que esto esté deshabilitado. Solía tener una extensión de shell GNOME, pero el repositorio ya no se encuentra: git clone...
¿Cómo puedo ocultar la barra superior en Gnome 3.28 Ubuntu 18.04? ¿Cómo se puede instalar la extensión
Estoy ejecutando Ubuntu Gnome 13.10 con Gnome 3.10. Mi problema es que cada vez que reinicio el sistema operativo, todas las extensiones de shell se desactivan. Lo extraño es que se mantienen sus configuraciones. Simplemente están apagados y tengo que volver a habilitarlos cada vez. ¿Cómo puedo...
Descripción del problema Realmente me gustan los espacios de trabajo 2 por 2 en Ubuntu 16.04. Pero parece que solo puedo mover el espacio de trabajo hacia arriba y hacia abajo. ¿Hay una manera de lograr esto? Lo que he intentado Intenté la extensión de GNOME llamada Workspace Grid (sugerido...
Digamos que he instalado sucesivamente mi conjunto de extensiones gnome-shell. Pero quiero desactivar / desactivar desde la línea de comandos. Esto solo es posible mediante la acción del mouse, AFAIK. Cómo puedo hacer eso
Estoy migrando de Unity a GNOME. Un elemento que me falta es un botón "Mostrar escritorio" (también conocido como "minimizar todas las ventanas") en el tablero. ¿Cómo puedo agregar esta funcionalidad al guión de GNOME (o al dock de Ubuntu en Ubuntu 17.10 y posterior), incluso si eso significa hacer...
Estoy ejecutando gnome-shell 3.4.1 en Ubuntu 12.04. He estado probando varias extensiones de http://extensions.gnome.org y ahora quiero eliminar por completo algunas, especialmente para que no ocupen espacio en Gnome Tweak Tool. ¿Es seguro eliminar la carpeta de extensión debajo...
El gran muelle a la izquierda. En otras versiones, podrías escapar del lanzador de la unidad yendo a gnome, ¿y ahora qué? Los ajustes de Gnome no lo muestran como una extensión, a pesar de que se parece mucho al tablero para acoplar. Veo opciones de ocultación automática en la configuración,...
Sé cómo ir al sitio web https://extensions.gnome.org/ y descargar extensiones de gnome-shell, pero ahora necesito instalar algunas extensiones disponibles allí en una computadora sin ningún tipo de acceso a Internet. Está en una red corporativa interna y no hay forma de que pueda obtener acceso...
He estado queriendo desarrollar algunas extensiones de Gnome Shell ya que solo están en javascript, sin embargo, he estado buscando y prácticamente no hay documentación, en todas partes, la gente simplemente dice que use la documentación básica de Gnome, pero esto NO ayuda, puedo No encontré...
Ubuntu 17.10 presenta GNOME Shell con Ubuntu Dock (basado en la extensión Dash to Dock GNOME Shell) y le permite colocar el Dock en la parte inferior del escritorio: Sin embargo, no hay una manera fácil de mover el ícono Mostrar aplicaciones (que se muestra a la derecha) a la izquierda del Dock....
El orden de los widgets de extensión de shell parece ser aleatorio, ¿cómo puedo cambiarlo? Quiero tener la información de fecha / hora a la izquierda, por ejemplo. Mi panel de
¿Cómo obtengo más información sobre por qué una extensión específica no funciona y me muestra "Error al cargar la extensión" cuando intento
¿O automatizar las actualizaciones? ¿O eliminar / deshabilitar el notificador de actualización? No está en la lista de "extensiones instaladas" y reinstalarlo no ayuda. ¿Dónde están ubicados sus
En una nueva instalación de Ubuntu (12.04, 64 bits), después de instalar gnome-shell, intenté instalar algunas extensiones desde extensiones.gnome.org pero no obtuve ningún resultado. Lo intenté con Firefox y Chromium y obtuve el mismo problema. Abra cualquier página de extensión en...
¿Que está pasando aqui? He instalado la extensión Dash to Dock en Ubuntu 17.10. Todo fue genial, y cuando estaba tratando de perfeccionar y ajustar el aspecto de mi escritorio, en algún momento la barra de accesos directos (¿dock?) A la izquierda está duplicada. El valor predeterminado, que...
Sé que se han hecho preguntas que suenan como esta, pero ninguna de las "soluciones" me funciona. Estoy usando la opción Gnome Classic . No pude encontrar ninguna extensión que haga lo que quiero. No pude encontrar ninguna entrada gnome-panelen mi dconfEditor Por favor podría usted...
De vez en cuando recibo mensajes que me dicen que hay una actualización para una de mis extensiones de GNOME Shell, que me dirige a https://extensions.gnome.org/local/ donde puedo activar una actualización a través de la interfaz web. Prefiero invocar actualizaciones desde la línea de comandos,...