RedHat/CentOS 7.1：更改 Gnome 工作区的名称

Question

红帽/CentOS 7.1.1503；GNOME 外壳 3.8.4

我以我正在从事的当前项目命名我的工作区（1-4 周）。如何将它们从“1”“2”...重命名为“Vienna”“Berlin”？

在 CentOS6 中，我只需右键单击工作区面板插件并在属性中重命名它们。

我已经找到了“工作区标签”扩展名（https://extensions.gnome.org/extension/551/workspace-labels/），但这不允许我更改名称。

Answer 1

好的，通过 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"