Пишу заметку эту про вашего мальчика ^дабы самому напоминание оставить. Она будет коротенькая, но как минимум мне полезная, потому как постоянно забываю где находится эта настройка. Суть проста — переключение рабочих столов (влево вправо) не двумя клавишами (Ctrl + Left/Right Arrow) а одной, например F1/F2.
Да, конечно Вы можете сказать, что F1/F2 часто используются и нельзя биндить их, но максимум какой шорткат я теряю это переименование файлов в SpaceFM, так что мне удобнее переключать столы одной клавишей и забить на ренейм.
Итак открываем
~/.config/xfce4/xfconf/xfce-perchannel-xml/xfce4-keyboard-shortcuts.xml
Ищем в нем
value="left_workspace_key"/>
value="right_workspace_key"/>
И меняем «property name» на свои. На этом все, вот такая коротенькая заметка.