Renommer rapidement l'espace de travail actuel

Question

Je peux renommer mon espace de travail en allant dans mes préférences de WorkSpace Switcher:

enter image description here

Est-ce que quelqu'un connaît un moyen plus rapide de renommer mon espace de travail actuel (peut-être quelque chose avec GnomeDo)?

sergio91pt · Answer

Si vous utilisez metacity, vous pouvez éditer ou créer un script bash pour le modifier directement dans gconf, je suppose:

~/.gconf/apps/metacity/workspace_names/%gconf.xml

RolandiXor · Answer

Actuellement ce est le moyen le plus rapide. Vous feriez peut-être mieux de signaler un élément de la liste de souhaits contre Synapse (GNOME-Do a été remplacé par celui-là).