8.2. Uso de las extensiones de GNOME Shell para personalizar el entorno del escritorio

Las extensiones de GNOME Shell permiten personalizar la interfaz predeterminada de GNOME Shell y sus partes, como la gestión de ventanas y el lanzamiento de aplicaciones.

Importante

Antes de implementar extensiones de GNOME Shell de terceros en Red Hat Enterprise Linux, asegúrese de leer el siguiente documento para conocer la política de soporte de Red Hat para el software de terceros: ¿Cómo manejan los Servicios de Soporte Global de Red Hat el software de terceros, los controladores y/o el hardware/hipervisores no certificados?

8.2.1. Resumen de las extensiones de GNOME Shell

Esta sección proporciona una visión general de las extensiones de GNOME Shell disponibles en RHEL 8, incluyendo el nombre del paquete que proporciona una extensión particular, y la descripción de lo que hace cada extensión.

Tabla 8.2. Resumen de las extensiones disponibles de GNOME Shell

Nombre del paqueteNombre de la extensiónDescripción

gnome-shell-extension-apps-menu

menú de aplicaciones

Applications menú para GNOME Shell

gnome-shell-extension-top-icons

Iconos principales

Mostrar los iconos heredados en la parte superior

gnome-shell-extension-user-theme

tema de usuario

Soporte para temas personalizados en GNOME Shell

gnome-shell-extension-drive-menu

drive-menu

Menú de estado de la unidad para GNOME Shell

gnome-shell-extension-window-list

lista de ventanas

Mostrar una lista de ventanas en la parte inferior de la pantalla en GNOME Shell

gnome-shell-extension-dash-to-dock

Dash to Dock

Dock para Gnome Shell by micxgx.gmail.com

gnome-shell-extension-desktop-icons

Iconos de escritorio

Soporte de iconos de escritorio para la experiencia de GNOME Classic

gnome-shell-extension-no-hot-corner

nohotcorner

Desactivar la esquina caliente en GNOME Shell

gnome-shell-extension-systemMonitor

systemMonitor

System Monitor para GNOME Shell

gnome-shell-extension-updates-dialog

Diálogo de actualizaciones

Mostrar un diálogo modal cuando hay actualizaciones de software

gnome-shell-extension-window-grouper

mero de la ventana

Mantener las ventanas que pertenecen al mismo proceso en el mismo espacio de trabajo

gnome-shell-extension-panel-favorites

panel de favoritos

Lanzadores favoritos en la barra superior de GNOME Shell

gnome-shell-extensión-windowsNavigator

windowNavigator

Soporte para la selección por teclado de ventanas y espacios de trabajo en el shell de GNOME

gnome-shell-extension-auto-move-windows

Autom Move Windows

Asignar espacios de trabajo específicos a las aplicaciones en GNOME Shell

gnome-shell-extension-launch-new-instance

launch-new-instance

Lanzar siempre una nueva instancia de aplicación para GNOME Shell

gnome-shell-extension-workspace-indicator

espacio de trabajo-indicador

Indicador de espacio de trabajo para GNOME Shell

gnome-shell-extension-disable-screenshield

Desactivar el escudo de pantalla

Desactivar el escudo de pantalla de GNOME Shell si el bloqueo está desactivado

gnome-shell-extension-native-window-placement

native-window-placement

Colocación de ventanas nativas para GNOME Shell

gnome-shell-extension-screenshot-window-sizer

pantalla-ventana-sizer

Visualizador de ventanas para GNOME Shell

gnome-shell-extension-horizontal-workspaces

espacios de trabajo horizontales

Soporte de iconos de escritorio para la experiencia de GNOME Classic

gnome-shell-extension-places-menu

lugares-menú

Places menú de estado para GNOME Shell

gnome-classic-session

- –

Sesión en modo clásico de GNOME