The gsettings command to make caps lock act as a control key in Gnome is this:
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
gsettings set org.gnome.desktop.input-sources xkb-options "['ctrl:nocaps']" |
If you are worried about losing any other settings you might have in xkb-options, then do this:
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# Take a look at your current xkb-options | |
gsettings get org.gnome.desktop.input-sources xkb-options | |
# If you see @as [] then just run the command from above | |
# Otherwise you need to preserve the existing options (such as foo:bar below) | |
# while inserting the new one | |
gsettings set org.gnome.desktop.input-sources xkb-options "['ctrl:nocaps', 'foo:bar']" |
This is an explanation I got just now (from someone who should know about this stuff):
"GNOME 3.0 shipped with input methods separately from xkb, now the two have been brought together to have one dialog. I suspect xkb options will come back, but that'll take another iteration"
Ps, for more info on gnome input sources, see these blog posts by mclasen.
Pps, I've been an anti-caps lock campaigner for a while now :)