Я хочу обновить имена рабочих пространств с помощью 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, но это, вероятно, в основном вопрос gsettings.
gsettings по-прежнему работает в Linux Mint 19.1, но синтаксис немного изменился:
gsettings set org.cinnamon.desktop.wm.preferences workspace-names '@as ["Main","Surf","Mail","Edit"]'
Перезапуск Cinnamon требуется позже!
Я не нашел меню настроек для этого рабочего пространства имен в свежем установлен Linux Mint 19.1.
Я попытался изменить имена в соответствии со своей стратегией, и это сработало (вступило в силу после выхода из системы и повторного входа в нее).
Я думаю, что ваша проблема не в том, что вы не поменяете имена, а в том, что в настройках вашего рабочего пространства установлено, что метки не отображаются при переключении рабочих пространств.
В корице попробуйте следующее:
перейдите в Настройки> Рабочие пространства и Включите экранное меню рабочего пространства.