Extensión de gnome-shell que no te deben faltar


Extensión de gnome-shell que no te deben de hacer falta

Si bien es cierto, gnome shell se ha vuelto cada vez más amigable, hasta un punto de poderlo perzonalizar un poco más que las versiones anteriores.
La siguiente lista de las extensión que mostraré, son las que yo considero que son indispensables.
La lista es la siguiente:

  1. AlternateTab: La función de ésta extensión es separar los grupos de apliaciones que tengan abierto, por ejemplo, si abren dos terminales al dar alt-tab para cambiarse de ventana, se las mostrará por separado y no tendrán que presionar las flechas para ir cambiarse entre las ventanas del mismo programa.
  2. Hide Top Bar: Si eres de esos que quiere espacio en su escritorio, esta extensión es para ti, su función es ocultar la barra de titulo y la muestra cuando das clic en actividades.
  3. Removable Drive Menu: Muestra un botón en la barra de titulo que sirve para expulsar memorias USB.
  4. Show Desktop from Overview: Su función es mostrar el escritorio cuando se da clic en un área que no haya ventanas, cuando pulsas actividades.
  5. User Themes: Activa los temas del usuario para gnome-shell, permitiendo que el usuario agregue los temas que desee.
  6. Sticky Notes View: Es una simple aplicación que sirve para agregar notas rápidas.

Es necesario instalar el entorno gráfico para activar las extensiones en modo local, la aplicación es
gnome-tweak-tool

Para instalarla teclear sudo yum -y install gnome-tweak-tool   presionar enter y teclear la contraseña.
Para instalar éstas extensiones es necesario usar el entorno gnome y luego ir al link https://extensions.gnome.org/

Parar descargar las extensiones hay que darle clic sobre la extensión, la cual redireccionará a otra página, en dicha página dar clic en "off" para instalar, preguntará si desea instalar la extensión, dar clic en aceptar y listo.
Ahora que ya está instalada la extensión, para activarla o ver la lista de extensiones instaladas, ir a actividades y abrir la aplicación con el nombre de gnome-tweak-tool o también la pueden encontrar como retoque. clic en la sección extensiones y podrán activar y desactivar las extensiones a su gusto.


Y eso es todo... Gracias por visitar... agradecer no cuesta nada.



Comentarios:

@