Gnome shell, está calando bien en los escritorios de ubuntu. De hecho, ya se empiezan a elevar las primeras voces de su inclusión por defecto en futuras versiones, y no es para menos.

Además, con esta entrada, vamos a solucionar el problema de que la versión anterior de la extensión dejase de funcionar en Gnome 3.2, tal y como muy bien nos comentó Jorge recientemente.

UBUNTU 12.04. Auto ocultar barra superior de Gnome Shell vuelve a dejar de funcionar. Sin solución aún, seguimos investigando…

Descarga e instalación.-

Tenemos que añadir los repositorios de webup8, donde encontraremos la última versión de la extensión:
sudo add-apt-repository ppa:webupd8team/gnome3
sudo apt-get update
sudo apt-get install gnome-shell-extensions-autohidetopbar

Reiniciamos gnome3.-

Alt+F2, luego r y luego Enter

La activamos con gnome-tweak-tools.-

La instalación y los aspectos de esta aplicación los vimos aquí, aunque lo que nos ocupa es:

sudo apt-get install gnome-tweak-tool

una vez instalada, la lanzamos (o en una terminal tecleamos gnome-tweak-tool) y en la opción de extensiones de gnome shell, ponemos el selector de la extensión a ON.

Entradas relacionadas