☰

cinnamon 通过 bash 更改工作区的名称

tag-icon • tag-icon command-line workspaces cinnamon gsettings
cinnamon 通过 bash 更改工作区的名称

我想通过 bash 更新工作区的名称。

当我跑步时：

$ gsettings get org.cinnamon.desktop.wm.preferences workspace-names
['0 - Main', 'Project name', 'second project', 'other']

因此我尝试使用以下命令更新该值：

gsettings set org.cinnamon.desktop.wm.preferences workspace-names "['0 - Main', 'rename', 'renamew', 'other']"

当我运行get后记时做返回更新后的值。但是当我切换工作区或其他操作时，我看不到标签。

这是我输入错误的“数组”格式吗？还是应该用完全不同的方法来完成？

我在 Ubuntu 上运行 cinnamon，但这可能主要是 gsettings 问题。

答案1

我尝试用你的策略更改名称并且成功了（注销并重新登录后生效）。

我认为您的问题不是无法更改名称，而是您的工作区设置为在切换工作区时不显示标签。

在肉桂中，尝试以下操作：

去设置 > 工作区并启用工作区 OSD。

答案2

gsettings 在 Linux Mint 19.1 中仍然有效，但语法略有改变：

gsettings set org.cinnamon.desktop.wm.preferences workspace-names '@as ["Main","Surf","Mail","Edit"]'

之后需要重新启动 Cinnamon！

在全新安装的 Linux Mint 19.1 中我没有找到此工作区命名的任何设置菜单。

相关内容