En pocas palabras, una extensión de GNOME Shell (también Extensión de GNOME) es cualquier pieza de código que mejora y agrega las funcionalidades del escritorio de GNOME. Piense en ello como una extensión de Google Chrome o Complemento de Firefox solo que es para su Entorno de escritorio
Las extensiones de GNOME se pueden usar para ajustar casi todos los aspectos del GNOME Desktop Environmentp.ej. personalizar el comportamiento del ratón; y también para mostrar información como el clima, el estado de la batería, etc.
Hay un número casi ilimitado de Extensiones de GNOME y la forma más conveniente de administrarlas es a través de las populares GNOME Tweak Tool por lo que debe configurarlo si aún no lo tiene instalado en su sistema y puede instalarlo a través de su Software Center o su terminal usando:
$ sudo apt install gnome-tweak-tool
Hay 3 formas de usar Extensiones de GNOME:
- Instala el paquete mínimo gratuito de extensiones seleccionado para tu distribución.
- Instalación en su navegador web.
- Instalación manual.
1. Instalación gratuita de paquete mínimo
Esto se refiere al conjunto mínimo de extensiones que varias distribuciones de Linux suelen empaquetar para sus usuarios y la última vez que lo verifiqué contenía 10 extensiones. Instálelos a través de la CLI con el siguiente comando:
$ sudo apt install gnome-shell-extensions
Una vez completada la instalación, reboot su máquina, inicie la Herramienta de ajuste de GNOME , vaya a Extensiones y haga clic para habilitar las extensiones que desea usar.
Habilitar extensiones de Gnome
Si desea más extensiones que las del paquete mínimo, siga leyendo.
2. Instalación en su navegador web
El Proyecto GNOME tiene un sitio web dedicado a sus extensiones de Gnome y puede instalar y administrar las extensiones preferidas directamente desde su navegador sin necesidad usar GNOME Tweak Tool.
Extensiones de Gnome Shell
Sin embargo, deberá tener un complemento específico del navegador y un conector de host nativo instalado en su sistema. Siga cualquiera de estos enlaces para obtener la extensión del navegador para Google Chrome, Firefox y/u Opera.
A continuación, instale el conector nativo con el siguiente comando:
$ sudo apt install chrome-gnome-shell
Ahora puede abrir el sitio web de extensiones de GNOME donde puede buscar, instalar y habilitar sus extensiones preferidas.
También puede configurar extensiones individuales haciendo clic en el ícono de ajustes junto a su título en el sitio web o a través de la GNOME Tweak Tool.
3. Instalación manual
Suponga que está desconectado y necesita configurar una Extensión de GNOME, ¿cómo lo hace? Instalación manual. Diríjase al sitio web para descargar el archivo de extensión que extraerá y moverá a su directorio ~/.local/share/gnome-shell/extensions.
A continuación, abra el archivo metadata.json dentro de él y verifique el valor de uuid y asegúrese de que sea el mismo valor que el nombre de la carpeta de extensión. Si no es así, cambie el nombre de la carpeta al valor de uuid.
A continuación, reinicie GNOME Shell presionando Alt+F2 e ingresando r .
Reiniciar GNOME Tweak Tool si ya se estaba ejecutando y debería ver la extensión recién instalada en la sección de extensiones donde puede administrarla como lo haría en los métodos enumerados anteriormente.
Desinstalar cualquier Extensión de GNOME es tan fácil como eliminarlas de las extensiones instaladas del sitio web de GNOME sección. Y si instaló las extensiones manualmente, elimine los archivos de su directorio ~/.local/share/gnome-shell/extensions.
¿Está familiarizado con los métodos para instalar GNOME Shell Extensions? Cuéntanos cuál es tu favorito en la sección de comentarios a continuación.