Contabilidad, fisalidad, laboral y linux en Canarias.

Ocultar la barra superior de gnome 3. Extensión para gnome shell.

Ocultar la barra superior de gnome 3. Extensión para gnome shell.
Rate this post

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

RECUERDE QUE

El único objetivo de este blog es meramente informativo y en ningún caso supone asesoramiento profesional. Los textos y cualquier otra información aquí publicada están destinadas a un uso meramente informativo y documental. El autor o los autores de este sítio, no se hacen responsables de posibles inexactitudes en el contenido, ni de posibles perjuicios por su utilización. Los únicos textos que tienen validez jurídica son los publicados en los Boletines y Diarios Oficiales.

Creative Commons License

×
Dudas particulares, sólo vía blog, para conocimiento de tod@s.