F17 Gnome3 workspace names

[Olav Vitters]

On Thu, May 31, 2012 at 07:29:05AM -0600, Greg Woods wrote:
> ~/.gconf/apps/metacity/workspace_names/%gconf.xml

You already have a solution, so just adding some background info...

Up to GNOME 3.2 (inclusive), Mutter and GNOME shell use gconf to store
their settings. As of GNOME 3.4, gsettings is used. To basically either
use the gsettings command line tool, or dconf-editor (graphical).

The settings should've migrated though if you do an upgrade.

By GNOME 3.6 everything should use gsettings (only Evolution is left
IIRC).

-- 
Regards,
Olav