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
gsettings get org.gnome.desktop.input-sources xkb-options
? – Gunnar Hjalmarsson Aug 08 '16 at 18:09xkb-options
value. You can runlocalectl list-x11-keymap-options
to view a list of valid values. – Gunnar Hjalmarsson Aug 08 '16 at 18:54