Para instalar una extensión se requiere que la tenga gnome-tweak-toolinstalada, esta debe instalarse de manera predeterminada en la mayoría de las versiones modernas de GNOME de Ubuntu, sin embargo, si no es así, puede instalarla ejecutando lo siguiente:
sudo apt-get install gnome-tweak-tool
Con las gnome-tweak-toolextensiones preinstaladas pero no habilitadas, puede verlas abriendo el gnome-tweak-tool(puede ejecutar esto en la Terminal ( CTRL+ ALT+ T) o buscar Tweak Toolen la Descripción general de actividades) y dirigirse a la Extensionssección.
Preparativos del navegador (instalación y actualización)
Firefox
Versión 52+
Dado que la compatibilidad con el complemento NPAPI de la versión 52 de Firefox se ha eliminado, los complementos como el GNOME Shell Integrationcomplemento y Java, etc. Entonces, si desea instalar una nueva extensión que aún no está instalada, necesitará una solución de dos partes:
Después de instalar ambos, deberá reiniciar su navegador para que los cambios surtan efecto. Entonces podrás navegar e instalar extensiones de GNOME desde aquí .
Debajo de la versión 52
Si desea instalar una nueva extensión que aún no está preinstalada, vaya aquí en Firefox y asegúrese de que el GNOME Shell Integrationcomplemento esté habilitado. Entonces, vaya aquí about:addons(ingrese esto en la barra de URL y presione ENTER), vaya a la Pluginssección y asegúrese de que el GNOME Shell Integrationcomplemento esté configurado Always Activate, o haga lo mismo, pero configúrelo en Ask to Activatey luego, cuando visite el sitio web de extensiones de GNOME, asegúrese de puede hacer clic Allow Nowcada vez o presionar Allow and Remember(deberá hacer clic en el pequeño ladrillo de lego para obtener este cuadro de diálogo, el ladrillo que se muestra en la captura de pantalla a continuación):
Al habilitar este complemento, el sitio web puede detectar su versión de GNOME, así como instalar y administrar sus extensiones. El complemento debe instalarse de manera predeterminada en Firefox 52 y versiones posteriores en Ubuntu GNOME.
Cromo y cromo
(y algunos otros navegadores basados en cromo, incluido Vivaldi)
Dado que el soporte del complemento NPAPI no está disponible en estos navegadores, necesitará una solución de dos partes:
Después de instalar ambos, deberá reiniciar su navegador para que los cambios surtan efecto. Entonces podrás navegar e instalar extensiones de GNOME desde aquí .
El navegador nativo "Web" de GNOME, Epiphany, todavía es compatible con los complementos NPAPI y tiene el complemento de extensiones GNOME necesario preinstalado y, por lo tanto, no es necesario configurarlo.
Si aún no está instalado, se puede instalar con:
sudo apt-get install epiphany-browser
Instalar una nueva extensión
Las extensiones más populares se muestran en la página inicial se llega a, puede sin embargo optar por ordenar el contenido de la página y los resultados de la búsqueda utilizando Name, Recenty Downloadsfiltros. También puede optar por mostrar los resultados en All versionslugar de solo lo Current versionque está ejecutando (intentar instalar extensiones que no sean compatibles con su versión de GNOME provocará una falla silenciosa; la operación no será exitosa pero no se le notificará esto en de cualquier manera, aunque las extensiones que no son compatibles aparecerán ligeramente atenuadas en la lista de resultados, por lo que aún podrá distinguirlo incluso con el All versionsfiltro seleccionado).
Los diferentes filtros que mencioné anteriormente son accesibles a través de los menús desplegables relevantes (he puesto un cuadro rojo alrededor de la configuración en cuestión):
También puede usar el cuadro de búsqueda para buscar extensiones, una vez que haya encontrado una extensión que desea instalar (si le preocupa la seguridad de las extensiones, debe leer esta información en el proceso de revisión ; vaya a la Are GNOME Shell extensions safe?sección: las extensiones tienen para ir antes de que sean aceptados en el sitio web), haga clic en su nombre en los resultados de búsqueda, luego, una vez que esté en su página, haga clic en el ON/OFFcontrol deslizante junto a su nombre (como se hizo anteriormente en el gnome-tweak-tool), aparecerá un cuadro de diálogo que le indicará si desea instalar dicha extensión, si lo hace, presione Install, si ha cambiado de opinión, presione Cancel.
Si no obtiene ese diálogo, ¡acaba de tropezar con una de sus extensiones preinstaladas y la activó!
Una vez que realice cambios en sus extensiones instaladas / activadas desde el sitio web, deberá reiniciar gnome-tweak-toolpara poder registrar los cambios.
Administrar extensiones
Para activar una extensión, haga clic en el ON/OFFcontrol deslizante junto a su nombre y descripción para que su estado cambie de OFFa ON(y viceversa para desactivarlo).
Verá que las extensiones preinstaladas tienen un Removebotón atenuado junto a cada una de ellas, esto está atenuado porque están preinstaladas.Si instala una nueva, podrá usar este botón para eliminarla permanentemente. .
También verá que algunas de las extensiones tienen un botón junto a su Removebotón que se ve así:
Al hacer clic en este botón, podrá modificar la configuración de la extensión en cuestión (debería abrir una ventana de configuración).
La vista en línea también le permite hacer algo similar (aunque también le permite eliminar / desinstalar extensiones preinstaladas, por lo tanto, tenga cuidado, aunque, por supuesto, podrá volver a instalarlas nuevamente).
Actualizando extensiones
El gnome-tweak-toolno admite la actualización de extensiones a través de su interfaz (aunque en el futuro está previsto que se elimine toda la interfaz web y que se haga todo gnome-software), si sale una nueva versión de una extensión y desea actualizar puede hacerlo yendo aquí y haciendo clic en el botón de actualización al lado del ON/OFFcontrol deslizante (si no hay un botón de actualización, entonces la extensión ya está actualizada):
Luego se le preguntará si desea Upgradedicha extensión, al presionarla Upgradese actualizará, sin embargo, al presionar el Cancelbotón se deshabilitará o posiblemente incluso se desinstalará, por lo que deberá reinstalarla o volver a activarla nuevamente.
Consejos y trucos:
Al hacer clic con el Activities Overviewbotón derecho en el botón (o Activitiescomo normalmente se llama en el botón), aparecerá una ventana específicamente dedicada a sus extensiones de GNOME Shell:
Este proceso debería funcionar para todos aquellos que usan GNOME 3.4+.
chrome-gnome-shellestá disponible en el repositorio oficial para el 16.04
Anwar
@Anwar: No estuvo presente la última vez que lo revisé, aunque puede que haya buscado un poco en el lugar equivocado ... O al menos no era obvio en LaunchPad. Pero ahora he actualizado mi respuesta.
Está en el repositorio de actualizaciones xenial. Entonces, probablemente sea empujado al repositorio más tarde.
Anwar
@Anwar: La xenial-updatessección es parte del repositorio principal, es solo una categoría en lugar de xenial-security.
Si, lo sabia. A diferencia de xenial-main, las actualizaciones de xenial no se congelan después del lanzamiento y podrían haberlo usado para impulsar un nuevo paquete. Eso es lo que quise decir
Anwar
27
Las extensiones de Gnome-shell se pueden instalar desde la página web de extensiones de Gnome-shell. El sitio es: https://extensions.gnome.org/
Para instalar una extensión, haga clic en la extensión y luego irá a una página que describe la extensión.
En esa página puede ver un interruptor deslizante. Active el control deslizante si desea instalar la extensión. Luego verá un mensaje para instalar la extensión.
Una vez que esté en la pestaña Extensiones instaladas , puede actualizar cualquier extensión, deshabilitar y traer la configuración directamente desde el navegador.
Actualizando:
Puede encontrar el botón de actualización junto al nombre de la extensión cuando hay una actualización disponible.
Haga clic en ese botón para actualizar. Recibirá un mensaje similar al que recibió cuando instaló la extensión solicitando permiso para instalar la extensión. haga clic en el botón Instalar (Sí, no es Actualizar) para instalar la extensión actualizada.
Usar la configuración de extensión
Aunque puede usar la herramienta gnome-tweak-tool, también puede abrir la ventana de configuración de extensiones desde el sitio si la extensión proporciona una. Simplemente haga clic en el icono de llave inglesa pequeña. Debería aparecer una ventana de configuración como se muestra en la siguiente captura de pantalla.
Eliminar una extensión
También puede eliminar una extensión del sitio siempre que no venga con gnome-shell de forma predeterminada (lo que hace que se instalen en el área del sistema).
Al hacer clic en la cruz roja, se desinstalará la extensión.
Solo por una vez asegúrese de que está usando Firefox y no cromo, no se descubrió una instancia de gnome en ejecución en cromo. Estoy usando Ubuntu 14.04 Gnome 64Bit
ArunMKumar
1
puede confirmar que esto no funciona en ubuntu 15.10. Un nuevo perfil de Firefox tendrá la extensión de modificaciones de Ubuntu, detección de iTunes y el plugin de códec h264. Nada más.
gcb
1
¿Alguien puede explicar por qué se necesita una extensión de navegador para instalar extensiones de Gnome? Parece torpe en lugar de algo integrado en Gnome, pero tal vez me estoy perdiendo algo
pez globo
16
Ubuntu 18.04 y posterior
En Ubuntu 18.04 y versiones posteriores, GNOME Shell Extensions se puede instalar desde la aplicación Ubuntu Software. Realice una búsqueda de palabras clave para "Extensiones de shell de GNOME" y el tipo de aplicación que está buscando.
También puede buscar desde todas las Extensiones de Shell de GNOME disponibles en la misma pantalla presionando el botón Complementos que se encuentra debajo del encabezado Categorías . En la pantalla Complementos, seleccione la pestaña Extensiones de Shell y verá todas las Extensiones de Shell de GNOME disponibles.
Al hacer clic en una extensión de GNOME Shell en la lista de resultados de búsqueda, aparecerá su pantalla que a menudo mostrará capturas de pantalla.
Al hacer clic en el Website botón, se abrirá su sitio web en un navegador web donde podrá ver una imagen de mayor tamaño de la misma captura de pantalla que se mostró en el software Ubuntu.
Al hacer clic en el Install botón se instalará la extensión.
El sitio web de GNOME tiene una sección de Extensiones configurada, que actualmente se encuentra en su fase Beta. Promete la fácil instalación de extensiones y la administración de las instaladas a través de una interfaz web.
En realidad, estoy en una nueva instalación de Ubuntu GNOME 14.04 y la instalación con un solo clic desde extensiones.gnome.org no funciona (ningún proxy, complemento y firefox están empaquetados con distribución, tal vez es un problema de permisos en algún lugar debajo de la ~/.localraíz )
Al igual que el gnome-browser estándar o una instalación limpia de Firefox también debería funcionar. A veces tuve problemas para instalar extensiones usando Google Chrome o Midori.
Filtrar por "Compatible con: Versión actual"
Haga clic en el botón de alternar de la extensión que desee
Debería aparecer una pregunta de "instalar esta extensión". Confirmar.
En casos excepcionales, debe volver a cargar gnome-shell para que una nueva extensión funcione sin problemas (¡RARO!): Abra el diálogo de ejecución de gnome-shell ( Alt+ F2); si no está configurado, compruebe que Alt + F2 no muestra el símbolo del sistema de ejecución en GNOME Shell ), escribe ry presiona Enter.
Sí, la característica de instalación de la extensión se elimina de los ajustes de GNOME (desde v3.26, la de Ubuntu 17.10 si no recuerdo mal).
Para instalar extensiones manualmente, simplemente extraiga el archivo que obtuvo del sitio oficial y copie / mueva la carpeta de extensiones (generalmente del formulario extension-name@developer-info) a su ~/.local/share/gnome-shell/extensions/directorio. Luego vuelva a iniciar sesión (o reinicie el shell GNOME). La extensión debería aparecer en los ajustes (GNOME) ahora. Actívelo desde allí.
Me he vuelto loco tratando de hacer que esto funcione en una instalación limpia de ubuntu gnome 14.04. He encontrado la solución.
Abra Firefix.
Ir a complementos ( about:addons).
Debajo de los complementos, verá Gnome Shell Integration.
Seleccione eso y cambie las opciones de activación a SIEMPRE ACTIVAR.
Luego cerré Firefox y luego volví a abrir. Cuando volví a http://addons.mozilla.org . Pude instalar las extensiones (el control deslizante permaneció en la posición de encendido. La extensión apareció en la herramienta de ajustes después de eso. Espero que esto ayude. He leído tantas respuestas e intentado tantas cosas. Estoy feliz de que Lo descubrí y puedo compartirlo con todos. Aquí hay una lista rápida de versiones para que pueda verificar con la suya.
Instalación limpia de Ubuntu Gnome 14.04 Firefox 34. Versión que se instaló durante la instalación.
Hola, agregué un poco de espacio monoespacial en tu respuesta usando retrocesos alrededor del material en línea y cuatro espacios antes de la cita en bloque. No estoy seguro de lo que significa la palabra "activo" en ese contexto, por lo que no puedo decir si está destinado a ser parte del comando o no.
Jeremy
1
¡No veo cómo esto ayudaría a " instalar " una nueva extensión! Solo puede activar / desactivar o administrar extensiones ya instaladas usando gnome-shell-extension-prefs.
Respuestas:
Para instalar una extensión se requiere que la tenga
gnome-tweak-tool
instalada, esta debe instalarse de manera predeterminada en la mayoría de las versiones modernas de GNOME de Ubuntu, sin embargo, si no es así, puede instalarla ejecutando lo siguiente:Con las
gnome-tweak-tool
extensiones preinstaladas pero no habilitadas, puede verlas abriendo elgnome-tweak-tool
(puede ejecutar esto en la Terminal ( CTRL+ ALT+ T) o buscarTweak Tool
en la Descripción general de actividades) y dirigirse a laExtensions
sección.Preparativos del navegador (instalación y actualización)
Firefox
Versión 52+
Dado que la compatibilidad con el complemento NPAPI de la versión 52 de Firefox se ha eliminado, los complementos como el
GNOME Shell Integration
complemento y Java, etc. Entonces, si desea instalar una nueva extensión que aún no está instalada, necesitará una solución de dos partes:Aplicación de mensajería de host nativa:
El complemento GNOME Shell Integration Firefox .
Después de instalar ambos, deberá reiniciar su navegador para que los cambios surtan efecto. Entonces podrás navegar e instalar extensiones de GNOME desde aquí .
Debajo de la versión 52
Si desea instalar una nueva extensión que aún no está preinstalada, vaya aquí en Firefox y asegúrese de que el
GNOME Shell Integration
complemento esté habilitado. Entonces, vaya aquíabout:addons
(ingrese esto en la barra de URL y presione ENTER), vaya a laPlugins
sección y asegúrese de que elGNOME Shell Integration
complemento esté configuradoAlways Activate
, o haga lo mismo, pero configúrelo enAsk to Activate
y luego, cuando visite el sitio web de extensiones de GNOME, asegúrese de puede hacer clicAllow Now
cada vez o presionarAllow and Remember
(deberá hacer clic en el pequeño ladrillo de lego para obtener este cuadro de diálogo, el ladrillo que se muestra en la captura de pantalla a continuación):Al habilitar este complemento, el sitio web puede detectar su versión de GNOME, así como instalar y administrar sus extensiones. El complemento debe instalarse de manera predeterminada en Firefox 52 y versiones posteriores en Ubuntu GNOME.
Cromo y cromo
(y algunos otros navegadores basados en cromo, incluido Vivaldi)
Dado que el soporte del complemento NPAPI no está disponible en estos navegadores, necesitará una solución de dos partes:
Aplicación de mensajería de host nativa:
El complemento Chrome de GNOME Shell Integration .
Después de instalar ambos, deberá reiniciar su navegador para que los cambios surtan efecto. Entonces podrás navegar e instalar extensiones de GNOME desde aquí .
Fuente parcial: cómo instalar extensiones de GNOME con Google Chrome o Vivaldi
Epifanía (Web de GNOME)
El navegador nativo "Web" de GNOME, Epiphany, todavía es compatible con los complementos NPAPI y tiene el complemento de extensiones GNOME necesario preinstalado y, por lo tanto, no es necesario configurarlo.
Si aún no está instalado, se puede instalar con:
Instalar una nueva extensión
Las extensiones más populares se muestran en la página inicial se llega a, puede sin embargo optar por ordenar el contenido de la página y los resultados de la búsqueda utilizando
Name
,Recent
yDownloads
filtros. También puede optar por mostrar los resultados enAll versions
lugar de solo loCurrent version
que está ejecutando (intentar instalar extensiones que no sean compatibles con su versión de GNOME provocará una falla silenciosa; la operación no será exitosa pero no se le notificará esto en de cualquier manera, aunque las extensiones que no son compatibles aparecerán ligeramente atenuadas en la lista de resultados, por lo que aún podrá distinguirlo incluso con elAll versions
filtro seleccionado).Los diferentes filtros que mencioné anteriormente son accesibles a través de los menús desplegables relevantes (he puesto un cuadro rojo alrededor de la configuración en cuestión):
También puede usar el cuadro de búsqueda para buscar extensiones, una vez que haya encontrado una extensión que desea instalar (si le preocupa la seguridad de las extensiones, debe leer esta información en el proceso de revisión ; vaya a la
Are GNOME Shell extensions safe?
sección: las extensiones tienen para ir antes de que sean aceptados en el sitio web), haga clic en su nombre en los resultados de búsqueda, luego, una vez que esté en su página, haga clic en elON/OFF
control deslizante junto a su nombre (como se hizo anteriormente en elgnome-tweak-tool
), aparecerá un cuadro de diálogo que le indicará si desea instalar dicha extensión, si lo hace, presioneInstall
, si ha cambiado de opinión, presioneCancel
.Si no obtiene ese diálogo, ¡acaba de tropezar con una de sus extensiones preinstaladas y la activó!
Una vez que realice cambios en sus extensiones instaladas / activadas desde el sitio web, deberá reiniciar
gnome-tweak-tool
para poder registrar los cambios.Administrar extensiones
Para activar una extensión, haga clic en el
ON/OFF
control deslizante junto a su nombre y descripción para que su estado cambie deOFF
aON
(y viceversa para desactivarlo).Verá que las extensiones preinstaladas tienen un
Remove
botón atenuado junto a cada una de ellas, esto está atenuado porque están preinstaladas.Si instala una nueva, podrá usar este botón para eliminarla permanentemente. .También verá que algunas de las extensiones tienen un botón junto a su
Remove
botón que se ve así:Al hacer clic en este botón, podrá modificar la configuración de la extensión en cuestión (debería abrir una ventana de configuración).
La vista en línea también le permite hacer algo similar (aunque también le permite eliminar / desinstalar extensiones preinstaladas, por lo tanto, tenga cuidado, aunque, por supuesto, podrá volver a instalarlas nuevamente).
Actualizando extensiones
El
gnome-tweak-tool
no admite la actualización de extensiones a través de su interfaz (aunque en el futuro está previsto que se elimine toda la interfaz web y que se haga todognome-software
), si sale una nueva versión de una extensión y desea actualizar puede hacerlo yendo aquí y haciendo clic en el botón de actualización al lado delON/OFF
control deslizante (si no hay un botón de actualización, entonces la extensión ya está actualizada):Luego se le preguntará si desea
Upgrade
dicha extensión, al presionarlaUpgrade
se actualizará, sin embargo, al presionar elCancel
botón se deshabilitará o posiblemente incluso se desinstalará, por lo que deberá reinstalarla o volver a activarla nuevamente.Consejos y trucos:
Al hacer clic con el
Activities Overview
botón derecho en el botón (oActivities
como normalmente se llama en el botón), aparecerá una ventana específicamente dedicada a sus extensiones de GNOME Shell:Este proceso debería funcionar para todos aquellos que usan GNOME 3.4+.
fuente
chrome-gnome-shell
está disponible en el repositorio oficial para el 16.04xenial-updates
sección es parte del repositorio principal, es solo una categoría en lugar dexenial-security
.Las extensiones de Gnome-shell se pueden instalar desde la página web de extensiones de Gnome-shell. El sitio es: https://extensions.gnome.org/
Para instalar una extensión, haga clic en la extensión y luego irá a una página que describe la extensión.
En esa página puede ver un interruptor deslizante. Active el control deslizante si desea instalar la extensión. Luego verá un mensaje para instalar la extensión.
Las extensiones instaladas se pueden administrar desde https://extensions.gnome.org/local/
Una vez que esté en la pestaña Extensiones instaladas , puede actualizar cualquier extensión, deshabilitar y traer la configuración directamente desde el navegador.
Actualizando:
Puede encontrar el botón de actualización junto al nombre de la extensión cuando hay una actualización disponible.
Haga clic en ese botón para actualizar. Recibirá un mensaje similar al que recibió cuando instaló la extensión solicitando permiso para instalar la extensión. haga clic en el botón Instalar (Sí, no es Actualizar) para instalar la extensión actualizada.
Usar la configuración de extensión
Aunque puede usar la herramienta gnome-tweak-tool, también puede abrir la ventana de configuración de extensiones desde el sitio si la extensión proporciona una. Simplemente haga clic en el icono de llave inglesa pequeña. Debería aparecer una ventana de configuración como se muestra en la siguiente captura de pantalla.
Eliminar una extensión
También puede eliminar una extensión del sitio siempre que no venga con gnome-shell de forma predeterminada (lo que hace que se instalen en el área del sistema).
Al hacer clic en la cruz roja, se desinstalará la extensión.
fuente
Ubuntu 18.04 y posterior
En Ubuntu 18.04 y versiones posteriores, GNOME Shell Extensions se puede instalar desde la aplicación Ubuntu Software. Realice una búsqueda de palabras clave para "Extensiones de shell de GNOME" y el tipo de aplicación que está buscando.
También puede buscar desde todas las Extensiones de Shell de GNOME disponibles en la misma pantalla presionando el botón Complementos que se encuentra debajo del encabezado Categorías . En la pantalla Complementos, seleccione la pestaña Extensiones de Shell y verá todas las Extensiones de Shell de GNOME disponibles.
Al hacer clic en una extensión de GNOME Shell en la lista de resultados de búsqueda, aparecerá su pantalla que a menudo mostrará capturas de pantalla.
Al hacer clic en el Website botón, se abrirá su sitio web en un navegador web donde podrá ver una imagen de mayor tamaño de la misma captura de pantalla que se mostró en el software Ubuntu.
Al hacer clic en el Install botón se instalará la extensión.
fuente
El sitio web de GNOME tiene una sección de Extensiones configurada, que actualmente se encuentra en su fase Beta. Promete la fácil instalación de extensiones y la administración de las instaladas a través de una interfaz web.
Se puede acceder al sitio aquí: https://extensions.gnome.org/
fuente
Gnome
complemento instalado para poder ver ese botón.~/.local
raíz )Vaya a la página de extensiones de gnome-shell con un navegador compatible (que no está totalmente seguro para nada que se ejecute o provenga de la web).
Al igual que el gnome-browser estándar o una instalación limpia de Firefox también debería funcionar. A veces tuve problemas para instalar extensiones usando Google Chrome o Midori.
Filtrar por "Compatible con: Versión actual"
Haga clic en el botón de alternar de la extensión que desee
Debería aparecer una pregunta de "instalar esta extensión". Confirmar.
En casos excepcionales, debe volver a cargar gnome-shell para que una nueva extensión funcione sin problemas (¡RARO!): Abra el diálogo de ejecución de gnome-shell ( Alt+ F2); si no está configurado, compruebe que Alt + F2 no muestra el símbolo del sistema de ejecución en GNOME Shell ), escribe
r
y presiona Enter.fuente
(Esta respuesta se publicó originalmente en una pregunta titulada No se pueden instalar las extensiones de shell de GNOME utilizando ajustes de GNOME en Ubuntu 18.04 )
Sí, la característica de instalación de la extensión se elimina de los ajustes de GNOME (desde v3.26, la de Ubuntu 17.10 si no recuerdo mal).
Para instalar extensiones manualmente, simplemente extraiga el archivo que obtuvo del sitio oficial y copie / mueva la carpeta de extensiones (generalmente del formulario
extension-name@developer-info
) a su~/.local/share/gnome-shell/extensions/
directorio. Luego vuelva a iniciar sesión (o reinicie el shell GNOME). La extensión debería aparecer en los ajustes (GNOME) ahora. Actívelo desde allí.fuente
Me he vuelto loco tratando de hacer que esto funcione en una instalación limpia de ubuntu gnome 14.04. He encontrado la solución.
about:addons
).Luego cerré Firefox y luego volví a abrir. Cuando volví a http://addons.mozilla.org . Pude instalar las extensiones (el control deslizante permaneció en la posición de encendido. La extensión apareció en la herramienta de ajustes después de eso. Espero que esto ayude. He leído tantas respuestas e intentado tantas cosas. Estoy feliz de que Lo descubrí y puedo compartirlo con todos. Aquí hay una lista rápida de versiones para que pueda verificar con la suya.
Instalación limpia de Ubuntu Gnome 14.04 Firefox 34. Versión que se instaló durante la instalación.
fuente
Puede ejecutar directamente la aplicación de selección de extensión con el siguiente comando:
active la extensión y luego presione Alt+ F2, en la línea de comando ingrese
r
y presione Enter.Este método puede presentar problemas:
Cuando reinicia el shell GNOME ( Alt+ F2,
r
) las extensiones pueden dejar de funcionar. (Ejemplo: tablero a panel).Si usa el comando
gnome-shell-extension-prefs
, en la aplicación que se abre, las extensiones pueden aparecer como no activadas.fuente
gnome-shell-extension-prefs
.