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']"