
Nota: este artículo trata sobre programas y configuraciones inestables. Los paquetes aun no han sido suficientemente probados y las modificaciones que les haremos nos están soportadas. Lee el artículo entero (y los comentarios) y haz copia de segurdad de tus datos antes de continuar.
- Añadir extensiones
Descomprime el archivo con:
sudo tar xvfJ gnome-shell-extensions-git.tar.xz
Coloca las extenisones en su sitio:
sudo cp -R usr /
Finalmente recarga Gnome Shell:
Alt+F2 r
- Gestión de las extensiones
![]() |
Extensiones listadas en Looking Glass |
Para desactivar una extensión usaremos la orden:
gsettings set org.gnome.shell disabled-extensions "['nombre_extensión']"
El nombre exacto de la extensión es el de la carpeta que la contiene dentro de /usr/share/gnome/shell/extensions, por ejemplo para desactivar la extensión que añade un nuevo dock siempre visible usaremos:
gsettings set org.gnome.shell disabled-extensions "['dock@gnome-shell-extensions.gnome.org']"
Para reactivar todas las extensiones usaremos la orden:
gsettings reset org.gnome.shell disabled-extensions
- Ejemplos
- Dock siempre visible: esta extensión ofrece una versión reducida del dock a la derecha de la pantalla sin necesidad de entrar en el menú de actividades, y
ofree además un lugar rápido donde localizar las ventanas minimizadas.
Dock siempre visible - Reemplazo del Alt+Tab: el cambiador de aplicaciones ahora muestra miniaturas de las ventanas y no separa las aplicaciones por entornos de trabajo.
Alt+Tab - Apagar el sistema: se añade una entrada al menú de usuario quedando visible una opción para Suspender y otra para Apagar. (Pulsar la tecla Alt hace aparecer la opción Hibernar)
Apagar sistema - Navegador de ventanas: al pulsar la tecla Alt en el menú actividades aparece un número sobre cada ventana para seleccionarla rápidamente. También permite cambiar de escritorio al pulsar la tecla Ctrl y un número.
Navegador de ventanas por teclado - Selector de temas: esta extensión permite cambiar gráficamente el tema de Gnome Shell, sólo necesitas bajarte el tema y seleccionar el archivo .zip desde Gnome Tweak Tool. Puedes encontrar varios temas en el artículo Cambiar manualmente el tema de Gnome Shell
Selector de Temas de Gnome Shell
- Más información
Gnome Tweak Tool
- Artículos relacionados