Para aqueles que não querem adicionar espaços de trabalho dinamicamente clicando em algum "hot corner":
CLI:
$ gsettings get org.cinnamon number-workspaces
4
$ gsettings set org.cinnamon number-workspaces 12
$ gsettings get org.cinnamon number-workspaces
12
GUI:
Abra dconf-editor
, navegue para org/cinnamon/number-workspaces
, defina o novo valor.
Faça logout e faça login novamente para que as alterações entrem em vigor.
(Eu acho que ajuda a ter um número fixo de espaços de trabalho, como 12, caso em que Super + F1-F12 poderia ser atribuído para mudar diretamente para um desses. Mas isso é uma questão de gosto.)
Atualizar :
A opção foi movida:
(Deprecated) Number of Workspaces - pre-2.6, even though you shouldn't
use it even on <2.6 releases. Use org.cinnamon.desktop.wm.preferences
num-workspaces instead.
Então o comando agora seria:
$ gsettings set org.cinnamon.desktop.wm.preferences num-workspaces 12
$ gsettings get org.cinnamon.desktop.wm.preferences num-workspaces