RedHat/CentOS 7.1: Change names of Gnome workspaces

gnomerhelworkspaces

RedHat/CentOS 7.1.1503; GNOME Shell 3.8.4

I name my workspaces after current projects I'm working on (for 1-4 weeks). How can I rename them from "1" "2"… to something like "Vienna" "Berlin"?

In CentOS6 I just right clicked on the workspace panel add-on and renamed them in the properties.

I already found the "Workspace Lables" extension ( https://extensions.gnome.org/extension/551/workspace-labels/ ) but this does not allow me to change the names.

Best Answer

OK, found a way via gsettings:

$ gsettings set org.gnome.desktop.wm.preferences workspace-names "['Com', 'Vienna', 'Test1', 'Test2','Test3']"
$ gsettings set org.gnome.desktop.wm.preferences num-workspaces "5"
Related Question