Si vous n'avez pas l'application "Configuration Editor", installez-la en utilisant cette commande dans le terminal :
sudo apt-get install gconf-editor
Maintenant, ouvrez l'éditeur de configuration dans le Dash. Vous devez naviguer vers ce chemin :
/apps/metacity/workspace_names
Maintenant, renommez nom_1, nom_2,... comme vous voulez :)
Si cela ne fonctionne pas au départ, vous pouvez vous déconnecter et vous reconnecter.
Edit : Cela ne fonctionne PAS avec l'option de clic droit que vous avez demandé, malheureusement. Cela fonctionne avec l'option indicator-workspaces
et quelques autres choses sur Ubuntu. J'ai pensé que cela pourrait aider :(
Recommencez : Ce lien montre que la dernière version de compiz qui sera dans la 12.10 aura cette capacité. Donc, il semble que nous devrons attendre encore 2 mois environ, puis nous pourrons faire tout ce que nous voulons :)