[Acho que é mais apropriado listar como resposta separada, 2,5 anos depois]
É possível fazer isso com a assistência de xbindkeys.
Instale ( #apt-get install xbindkeys) e adicione-o na parte inferior de ~/.xbindkeysrc:
# Previous desktop
"dbus-send --session --type=method_call --dest=org.Cinnamon /org/Cinnamon org.Cinnamon.switchWorkspaceLeft"
b:6
# Next desktop
"dbus-send --session --type=method_call --dest=org.Cinnamon /org/Cinnamon org.Cinnamon.switchWorkspaceRight"
b:7
( b:6e b:7são, respectivamente, os botões basculante esquerdo e direito no volante do mouse - ymmv; use xevpara calcular os índices corretos).
xbindkeysdeve recarregar sua própria configuração automaticamente, mas pode ser necessário forçá-la killall -HUP xbindkeys. Você também pode precisar sair e entrar novamente depois de instalá-lo pela primeira vez.