[Creo que es más apropiado enumerarlo como una respuesta separada, 2.5 años después]
Es posible hacer esto con la ayuda de xbindkeys.
Instalar ( #apt-get install xbindkeys), y luego agregar esto al 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:6y b:7son, respectivamente, los botones basculantes izquierdo y derecho de mi rueda del mouse - ymmv; se usan xevpara calcular los índices correctos).
xbindkeysdebería volver a cargar su propia configuración automáticamente, pero es posible que deba forzarla killall -HUP xbindkeys. También es posible que deba cerrar sesión y volver a iniciarla después de instalarlo por primera vez.