I've tried setting org.gnome.desktop.input-sources to ['space:ctrl'] but it doesn't work.
Note: I want the spacebar to keep working as before (Space should trigger both Ctrl and Space, I don't mind the conflict).
I've tried setting org.gnome.desktop.input-sources to ['space:ctrl'] but it doesn't work.
Note: I want the spacebar to keep working as before (Space should trigger both Ctrl and Space, I don't mind the conflict).
From a terminal run:
xmodmap -e 'keycode 65=Control_R'
To undo, type:
xmodmap -e 'keycode 65=space'
In general, to see the list of all keysyms that you can map and their names, type:
xmodmap -pk