2018-03-04T07:53:22
Give your hand some relief from reaching for Ctrl and take advantage of the close proximity of Caps Lock.
# Note any previous values for xdb-options (most likely none)
gsettings get org.gnome.desktop.input-sources xkb-options
# Set our xkb-options (plus anything from our get, if needed)
gsettings set org.gnome.desktop.input-sources xkb-options "['ctrl:nocaps']"
Now …