[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.