Exrensiones de GNOME Shell

Ankur Sinha, Equipo de Documentación de Fedora Version F38 Last review: 2023-08-04

Desde el sitio web:

"Las extensiones de GNOME Shell son pequeñas piezas de código escritas por desarrolladores de tercera parte que modifican la forma en la que GNOME trabaja. Si está familiarizado con las Chrome Extensions (Extensiones de Chrome) o los Firefox Addons (Complementos de Firefox), las extensiones GNOME Shell son similares.)

Como las extensiones son creadas fuera del proceso normal de diseño y desarrollo de GNOME, están soportadas por sus autores, en lugar de por la comunidad GNOME. Algunas funciones implementadas primero como extensiones pueden encontrar su sitio en futuras versiones de GNOME."

Por lo tanto, informe de los errores en estas extensiones directamente a sus desarrolladores.

Las extensiones pueden ser locales o para todo el sistema. Las extensiones locales son aquellas instaladas por cada usaurio en sus directorios home (~/.local/share/gnome-shell/extensions), mientras que las extensiones en todo el sistema son instaladas por los administradores en los directorios del sistema (/usr/share/gnome-shell/extensions/). Las extensiones de sistema, por lo tanto, no pueden ser instaladas, actualizadas o eliminadas por usuarios que no sean administradores. Ellas pueden, sin embargo, ser habilitadas o deshabilitadas por cada usuario.

En el caso de fallos con GNOME shell, el primer paso recomendado para su diagnóstivo es deshabilitar todas las extensiones. En los casos en que GNOME Shell falla directamente en el acceso, usted puede usar un entorno de escritorio diferente si está instalado o usar las herramientas de línea de comandos que se listan abajo usando un terminal virtual (ctrl + alt + f2) para deshabilitarlas.

Instalar y eliminar extensiones en todo el sistema de GNOME Shell

Estas se proporcionan, generalmente, en los repositorios Fedora y pueden ser instaladas, eliminadas y actualizadas usando las herramientas predeterminadas de administración de paquetes como dnf. Puede encontrar una lista aquí buscando los paquetes de aplicación para gnome-shell-extension.

Ejecute dconf para actualizar las bases de datos dconf del sistema, haciendo a las extensiones para todo el sistema recientemente instaladas disponibles para todos los usuarios. # dconf update

Instalar y eliminar extensiones locales GNOME Shell

Las extensiones locales de GNOME Shell pueden ser instaladas de múltiples maneras.

  • Directamente desde el sitio web usando Firefox. Esto requiere la instalación de una extensión del navegador. Si no está instalada, el sitio web muestra una notificación con un enlace que la instala.

  • Instalación manual. No se recomiendad. Los usuarios avanzados a los que les gustaría hacerlo deberían seguir las instrucciones proporcionadas por los desarrolladores.

These can all be used to update installed local extensions also.

Enabling, disabling and changing settings for GNOME Shell extensions

All extensions can be enabled, disabled, and their preferences modified by each user using:

  • Gnome’s Extensions website using Firefox.

  • gnome-shell-extension-tool. While this tool allows you to enable and disable extensions, it does not allow you to modify their settings. It does allow you to reload an extension without logging out and back in and it also creates the default skeleton if you would like to write a new extension. Please use gnome-shell-extension-tool -h to learn more.

  • the GNOME Extensions app. Apart from other customisations, GNOME Extensions also allows enabling, disabling, and modifying preferences for GNOME shell extensions.

Want to help? Learn how to contribute to Fedora Docs ›