GNOME Shell Extension Indicateur D'espace De Travail

Voici une autre nouvelle GNOME Shell extension que je suis sûr vous trouverez très utiles:
Indicateur D'espace De Travail l'extension fonctionne de la même manière que Indicator-Workspaces pour Gnome 2: il affiche votre numéro de votre espace de travail actuel sur le panneau et vous permet de passer à un autre espace de travail.

Pour l'installer, tout d'abord installer git-core. Dans Ubuntu, lancez cette commande:

sudo apt-get install git-core

Ensuite, pour installer GNOME Shell Extension indicateur d'espace de travail exécutez les commandes suivantes:

cd && git clone https://github.com/erick2red/shell-extensions.git
cd shell-extensions
mkdir -p ~/.local/share/gnome-shell/extensions #just in case
mv workspace-indicator@erick.red.gmail.com/ ~/.local/share/gnome-shell/extensions/

Ensuite, redémarrez Gnome Shell.

Note: Je avons seulement testé l'extension en utilisant la dernière GNOME Shell, du GIT.