Я хочу обновить имена рабочей области 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 в основном.
Я попытался изменить имена с вашей стратегией и работал (вступил в силу после выхода из системы и обратно).
Я думаю, что ваша проблема не в изменении имен, а в том, что ваши настройки рабочей области
В корице попробуйте выполнить следующее:
перейдите в меню «Настройки»> «Рабочие области» и «Включить рабочее пространство».
Я попытался изменить имена с вашей стратегией и работал (вступил в силу после выхода из системы и обратно).
Я думаю, что ваша проблема не в изменении имен, а в том, что ваши настройки рабочей области
В корице попробуйте выполнить следующее:
перейдите в меню «Настройки»> «Рабочие области» и «Включить рабочее пространство».