GussFer
"Todos mienten, la única variable es sobre qué. DH"

Extensiones en Gnome Shell

  • Categoría: Linux
  • Publicado hace más de 2 meses
   
  
  
   
   
¿Qué son las extensiones de Gnome Shell?
Las extensiones de GNOME Shell son los complementos que extienden las funcionalidades GNOME Shell. Estas extensiones de GNOME Shell modifican ya sea mediante la adición de la funcionalidad o modificandola. Estas extensiones son típicamente proporcionados y mantenidas por los desarrolladores de terceras parte.
   
¿Dónde encontrar extensiones para Gnome Shell?
  
  
Hay dos formas de obtener una extensión para GNOME Shell. La primera forma es a través de su página web: https://extensions.gnome.org Debido a que el sitio Web utiliza las extensiones de funcionalidad especial plugin, se debe acceder a ella mediante el navegador web Mozilla Firefox. Una vez que acceda al sitio verá un mensaje para permitir la integración de shell de GNOME. Una vez autorizado, se le pedirá Permitir Ahora o Permitir y recordar la decisión.
  
La otra opción es busca las extensiones desde los paquetes disponibles, por ejemplo, en fedora las extensiones se buscarían con el siguiente comando
# En fedora
Cita: Mostrar
# En derivados de arch
Cita: Mostrar
Una vez que se encuentren dichos paquetes, pues se instalan con el determinado comando para la distro que estén utilizando.
   
  
¿Cómo instalar las extensiones de Gnome Shell?
  
Ahora a instalar algunas extensiones de GNOME Shell a través de la página web de GNOME. En este ejemplo instalaremos User Theme, es una extensión que permite utilizar themes para gnome shell creados por el usuario.
Una vez que se accede al sitio https://extensions.gnome.org web que le pedirá por Firefox para permitir la integración de shell de GNOME se mencionó anteriormente. Cli en permitir y recordar.
   
   


A continuación, seleccionar una opción que será recordada por el navegador, elegir la opción permitir solo ahora o permitir y recordar.


  
Aquí hay algo importante, para que ustedes puedan cambiar los temas de gnome shell, es necesario activar los temas del usuario. Para esto seleccionaremos la extensión que dice, User Themes.
  
  
Para instalar una extensión, basta con activar el botón en forma de switch, mostrará un mensaje de confirmación, clic en Instalar.
  
   
   
¿Cómo configurar las extensiones instaladas?
Desde la propia página, hay una sección que dice Extensiones Instaladas, en esa pestaña es posible configurarlas, eliminarlas o desactivarlas.
   

Sin embargo, hay otra opción para administrarlas de manera local y offline.
  
La herramienta que se utiliza se llama gnome-tweak-tool:
  
En fedora se instala de la siguiente manera:
Cita: Mostrar
En Apricity OS que se deriva de Arch, se instala de esta manera:
Cita: Mostrar
Ahora, abrir la herramienta y comenzar a utilizarla.


Por cada nueva extensión que se instale, ya se manual o desde la página, es necesario reiniciar la herramienta de retoques para que se muestre correctamente en la herramienta de retoques.
Si quieren hacer un respaldo de sus extensiones, es posible, las extensiones se guardan en la ruta: .local/share/gnome-shell/extensions   por lo tanto, si descargan una extensión que no sea desde la página oficial, también la pueden copiar dentro de esa carpeta. Las extensiones que vienen por default con el sistema, están en la ruta /usr/share/gnome-shell/extensions   solo que esta requiere privilegios de administrador.


La carpeta extensions la pueden copiar y pegar en otro equipo, y seguirán funcionando, siempre  y cuando sea la misma versión de gnome  shell y que las extensiones sean compatibles con dicha versión.

Extensiones en Gnome Shell
29 Puntos Score: 4.8/10
Visitas: 280 Favoritos: 0
Ver los usuarios que votaron...
3 Comentarios Extensiones en Gnome Shell
gracias por los puntos @char4n
gracias por los puntos compañeros @char4n @alhubu @Germlokura @FKellerNor
Para dejar un comentario Registrate! o.. eres ya usuario? Accede!