Gnome Shell ha supuesto una revolución en el mundo del escritorio linux, y aunque hay mucha gente a la que nunca le acabará de gustar y echarán de menos el Gnome Classic (y a todos ellos recomiendo esa maravilla que es SolusOS, una derivada de Debian que desarrolla todo el poder de Gnome 3, pero con el clásico aspecto de Gnome 2); el resto poco a poco nos vamos adaptando y en gran parte, es gracias a su variado repertorio de extensiones, que crece día a día.

Una de esas últimas extensiones es Terminal in UserMenú, que como su nombre indica, nos permite tener un lanzador de terminal, en nuestro menú de usuario.

Como todas las extensiones en Gnome Shell, es muy fácil de instalar, nos dirigimos a la web de extensions.gnome.org, comprobamos que es compatible con nuestra versión de Gnome, y pulsamos el botón on, le damós a aceptar a la instalación y ya lo tendremos disponible en nuestro menú.

 

Link | Extensions Gnome