I use gnome-tweaks to turn my Caps Lock into a Control Key. This works normally, but not when I plug in a new external keyboard. I can make it work by:
- Opening
gnome-tweaks - Getting to the right place on the GUI: Keyboard & Mouse -> Additional Layout Options -> Caps Lock behaviour
- Flipping between any other option and "Caps Lock is also a Ctrl"
Is there some terminal command I can run that will refresh gnome-tweaks for my currently plugged in devices? Failing that, is there a command I can run that will do this switch I'm currently doing manually?
This is a bug, but it's affecting my current version and the above would serve as a workaround.
'caps:ctrl_modifier'to'caps:escape'. See this answer for more information. – marnix Jan 08 '21 at 15:04