Acceder a la terminal desde el menú de usuario en Gnome Shell

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…