[Acho que é mais apropriado listar como uma resposta separada, 2,5 anos depois]
É possível fazer isso com a ajuda de xbindkeys .
Instale ( #apt-get install xbindkeys ) e adicione isso ao final 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:6 e b:7 são respectivamente os botões esquerdo e direito na minha roda do mouse - ymmv; use xev para calcular os índices corretos).
xbindkeys deve recarregar sua própria configuração automaticamente, mas você pode precisar forçá-la com killall -HUP xbindkeys . Você também pode precisar sair e entrar novamente depois de instalá-lo pela primeira vez.