web-dev-qa-db-ja.com

シナモンは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後書きを実行すると、更新された値が返されますdoes。しかし、ワークスペースなどを切り替えても、ラベルが表示されません。

これは私が間違って入力しているある種の「配列」形式ですか？または、これは完全に異なる方法で行う必要がありますか？

私はUbuntuでシナモンを実行していますが、これはおそらくgsettingsの質問のほとんどです。

command-lineworkspacescinnamongsettings
1
janw

私はあなたの戦略で名前を変更してみましたが、うまくいきました（ログアウトしてから再度ログインすると有効になります）。

あなたの問題は名前の変更の失敗ではないと思いますが、ワークスペース設定がワークスペースを切り替えるときにラベルを表示しないように設定されています。

シナモンでは、以下を試してください：

設定>ワークスペースに移動し、ワークスペースOSDを有効にします。

1
pochinha

gsettingsはLinux Mint 19.1でも動作しますが、構文は少し変更されました：

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

その後シナモンの再起動が必要です！

新しくインストールされたLinux Mint 19.1で、このワークスペースの名前の設定メニューが見つかりませんでした。

0
Paul