Preguntas etiquetadas con gnome-shell-extension

¿Cómo instalo las extensiones de GNOME Shell? ¿Es posible actualizar, eliminar y administrar las extensiones?

96 software-installation  gnome-shell-extension  gnome-shell 

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 gnome-shell-extensions.

59 themes  gnome-shell  gnome-shell-extension 

¿Cómo puedo ocultar la barra superior en Gnome 3.28 Ubuntu 18.04? ¿Cómo se puede instalar la extensión hide-top-bar?

35 gnome-shell  gnome-shell-extension  gnome-tweak-tool  top-bar 

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 hacerlos persistentes? Gracias …

35 gnome-shell  gnome-shell-extension 

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 git@github.com/Ahrak/gnome-shell-extension-disable-hot-corners.git …

35 gnome-shell  gnome-shell-extension  activities-overview 

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 …

32 18.04  workspaces  gnome-shell  gnome-shell-extension  workspace-switcher 

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 ?

27 command-line  gnome  gnome-shell-extension 

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 …

26 gnome  gnome-shell  gnome-shell-extension  ubuntu-dock  show-desktop 

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 ~/.local/share/gnome-shell/extensions/?

26 12.04  gnome  gnome-shell  gnome-shell-extension 

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 …

25 gnome-shell  ubuntu-dock  gnome-shell-extension 

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 externo a Internet, así que …

23 gnome  gnome-shell  gnome-shell-extension 

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é ninguna documentación para las …

22 development  gnome-shell-extension 

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 …

20 17.10  gnome-shell-extension  gnome-shell  ubuntu-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 shell:

18 14.04  gnome  gnome-shell  gnome-shell-extension 

¿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 habilitarla?

18 gnome-shell  gnome-shell-extension