Is there a way to query where xkb is getting its configuration from?Under ArchLinux I have /etc/X11/xorg.conf.d/00-keyboard.conf withSection InputClass    Identifier system-keyboard    MatchIsKeyboard on    Option XkbLayout us,us    Option XkbVariant altgr-intl,colemak    Option XKbOptions ctrl:nocaps,grp:alt_shift_toggleEndSection           but when I start up, if I do setxkbmap -query, I only getrules:      evdevmodel:      evdevlayout:     us,usvariant:    altgr-intl,So neither the alternative variants nor options are recognized (needless to say, I cannot change layout). If I however runsetxkbmap -layout us,us -variant altgr-intl,colemak -option ctrl:nocaps,grp:alt_shift_toggleI get the correctrules:      evdevmodel:      evdevlayout:     us,usvariant:    altgr-intl,colemakoptions:    ctrl:nocaps,grp:alt_shift_toggleSo is there a possibility something is overwriting my configuration?I am running GNOME/Cinnamon
Where is Xkb getting its configuration?
xorg;xkb;cinnamon
Yes, Gnome overrides the xkb X settings.  I don't know about Cinnamon but vanilla Gnome desktop used to allow you to add different keyboard layouts thorough System Settings > Region & Language > Input Sources:and then you had Layout Options on the bottom where you could add options. However, in gnome-control-center-3.6 that option no longer works - it's greyed out (see explanation for 3.4 > 3.6 Transition here).Anyway, you have the options to set xkb layout/options in Gnome either through dconf-editor or gsettings( if you prefer the command line).gsettings - in terminal, run:gsettings set org.gnome.desktop.input-sources sources [('xkb', 'us'), ('xkb', 'us+altgr-intl'), ('xkb', 'us+colemak')]andgsettings set org.gnome.desktop.input-sources xkb-options ['ctrl:nocaps','grp:alt_shift_toggle']  dconf-editor - go to org::gnome::desktop::input-sources and edit like this:Note that values are delimited by comma+space.Both methods should yield the same results.