Preguntas etiquetadas con gnome-shell-extension

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

17 updates  gnome-shell-extension 

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 ayudarme. Instalé Gnome 3 …

16 14.04  gnome  gnome-panel  gnome-shell-extension 

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 extensiones.gnome.org. Cambie la extensión a "ON". De acuerdo con …

16 gnome  gnome-shell-extension 

¿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 normalmente desaparece …

16 17.10  gnome-shell  ubuntu-dock  gnome-shell-extension  dock 

¿En Gnome-shell ya no tenemos compiz? En KDE4 tenemos los efectos de escritorio nativos, me gustaría saber si Gnome-shell todavía necesitaremos compiz.

14 gnome  effects  gnome-shell-extension 

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, similar a llamar apt update …

14 command-line  updates  gnome-shell-extension 

Actualicé mi Dell Optiplex 9010 a Ubuntu 18.04 desde Ubuntu 16.04. Ninguna de mis extensiones de navegador web GNOME (utilizada para administrar e instalar extensiones) funciona, ni las que he instalado en Chromium, Chrome o Firefox. Este solo ha sido el caso desde mi actualización de 16.04 a 18.04. Esto …

13 firefox  google-chrome  chromium  gnome-shell  gnome-shell-extension 

Esta lista ahora está más o menos reemplazada por https://extensions.gnome.org/ donde las extensiones pueden instalarse y configurarse con un solo clic. Hay varios complementos para gnome-shell. Por favor, ayúdame a compilar una lista de complementos existentes He respondido mi pregunta agregando las extensiones que conozco como respuestas. Como hay muchas …

12 gnome  themes  gnome-shell  gnome-shell-extension 

Algunas de mis extensiones de shell de GNOME no me permiten configurar sus funciones porque recibo un mensaje de error cuando intento abrirlas. La siguiente imagen es lo que veo cuando intento abrir las configuraciones de la extensión " Diálogo de búsqueda web ": El mensaje en el cuadro blanco …

12 18.04  error-handling  gnome-shell-extension  javascript  clutter 

Hoy vi un artículo sobre extensiones para GNOME Shell, así que me hizo pensar un par de preguntas que pueden aplicarse a muchos usuarios en Unity: ¿Las extensiones de GNOME Shell serán compatibles con Unity? ¿Puedo instalarlos directamente en Unity desde el sitio web https://extensions.gnome.org/ ? En el caso 2 …

10 unity  gnome  extension  gnome-shell-extension 

Estoy ejecutando Ubuntu 14.10 con Gnome 3.14 de los PPA de Gnome 3. He tenido el problema persistente durante aproximadamente un año, donde cada vez que cierro la sesión pierdo todas mis extensiones habilitadas aparte de Media Player. Anteriormente logré solucionar esto habilitando cada una de las extensiones al inicio …

10 gnome  gnome-shell  gnome-shell-extension 

En Ubuntu 17.10, los iconos de la bandeja derecha (por ejemplo, Telegram, Skype, etc.) son muy pequeños y gnome-shell-extension-top-icons-plusno funcionan en 17.10. ¿Cómo puedo arreglarlo?

9 17.10  panel  gnome-shell  gnome-shell-extension  notification-area 

Acabo de instalar Ubuntu 16.04 y el shell Gnome 3.18.5. Soy nuevo en todo lo relacionado con la 'extensión Gnome Shell' (¿uso mi navegador para instalar extensiones hechas por el usuario?). Entonces, la primera vez que accedí a https://extensions.gnome.org pude instalar una extensión , creo, pero ahora me muestra un …

9 gnome  gnome-shell-extension 

GNOME Shell tiene las notificaciones en la parte inferior de forma predeterminada. Desafortunadamente, me gusta usar el tablero para acoplarlo y pegarlo en la parte inferior. Lo que significa que ya no puedo ver las notificaciones. ¿Alguna forma de cambiar la ubicación de las notificaciones a otra parte de la …

9 gnome  gnome-shell-extension 

En Ubuntu 16.04 instalé un complemento de Compiz con una alternativa alt: un tabconmutador que tenía la ingeniosa característica de que hasta que soltaba la Altllave, ocultaba todas las demás ventanas y mostraba solo la que estaba a punto de cambiar. Esto es muy útil cuando uno tiene un montón …

9 18.04  gnome-shell  gnome-shell-extension  application-switcher