Finalmente, encontrei uma solução.
Parece que a configuração está em dconf-editor
, afinal. O problema foi com suporte muito ruim para procurar nesta ferramenta.
Para editar as configurações de teclado do espaço de trabalho, deve-se usar a ferramenta dconf e editar as configurações no caminho org
- > gnome
- > desktop
- > wm
- > keybindings
.
A sintaxe é a mesma que em outras edições do Gnome.
Você pode usar este script:
#!/bin/sh
gsettings set org.cinnamon.muffin.keybindings move-to-workspace-down "['<Shift><Mod3>Down']"
gsettings set org.cinnamon.muffin.keybindings move-to-workspace-left "['<Shift><Mod3>Left']"
gsettings set org.cinnamon.muffin.keybindings move-to-workspace-up "['<Shift><Mod3>Up']"
gsettings set org.cinnamon.muffin.keybindings move-to-workspace-right "['<Shift><Mod3>Right']"
gsettings set org.cinnamon.muffin.keybindings switch-to-workspace-down "['<Mod3>Down']"
gsettings set org.cinnamon.muffin.keybindings switch-to-workspace-left "['<Mod3>Left']"
gsettings set org.cinnamon.muffin.keybindings switch-to-workspace-up "['<Mod3>Up']"
gsettings set org.cinnamon.muffin.keybindings switch-to-workspace-right "['<Mod3>Right']"