/examplelab.png

Instalar un indicador de workspace en gnome 3

indicador_de_workspace.png

Para instalar esta extensión, simplemente tienes que ejecutar estos comandos:

mkdir -p ~/.local/share/gnome-shell/extensions
cd ~/.local/share/gnome-shell/extensions
wget http://webupd8.googlecode.com/files/workspace-indicator.tar.gz
tar xzf workspace-indicator.tar.gz
rm workspace-indicator.tar.gz

y luego pulsar CTRL+F2, r y pulsar la tecla enter para reiniciar la sesión.