Extensiones de GNOME Shell

Ankur Sinha, Equipo de Documentación de Fedora Versión 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.

Todos ellos también se pueden utilizar para actualizar las extensiones locales instaladas.

Habilitar, deshabilitar y cambiar la configuración de las extensiones de GNOME Shell

Todas las extensiones pueden ser habilitadas, inhabilitadas, y sus preferencias modificadas por cada usuario utilizando:

  • Sitio web de Extensiones de GNOME utilizando Firefox.

  • gnome-shell-extension-tool. Si bien esta herramienta permite activar y desactivar extensiones, no permite modificar su configuración. Sí permite recargar una extensión sin tener que cerrar sesión y volver a iniciarla, y también crea la estructura básica si se desea desarrollar una nueva extensión. Por favor utilice gnome-shell-extension-tool -h para aprender más.

  • la app GNOME Extensions. A parte de otras personalizaciones, GNOME Extensions además conceden habilitar, inhabilitar, y modificar preferencias para las extensiones de GNOME Shell.

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