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: