Où Xkb obtient-il sa configuration ?

Existe-t-il un moyen d'interroger où xkb obtient sa configuration de ?
Sous ArchLinux, j'ai /etc/X11/xorg.conf.d/00-keyboard.conf avec :

Section "InputClass"
    Identifier "system-keyboard"
    MatchIsKeyboard "on"
    Option "XkbLayout" "us,us"
    Option "XkbVariant" "altgr-intl,colemak"
    Option "XKbOptions" "ctrl:nocaps,grp:alt_shift_toggle"
EndSection           

mais quand je démarre, si je fais setxkbmap -query , je reçois seulement

rules:      evdev
model:      evdev
layout:     us,us
variant:    altgr-intl,

Ainsi, ni les variantes alternatives ni les options ne sont reconnues (inutile de préciser que je ne peux pas modifier la mise en page). Si je cours cependant

setxkbmap -layout "us,us" -variant "altgr-intl,colemak" -option "ctrl:nocaps,grp:alt_shift_toggle"

J'obtiens le bon

rules:      evdev
model:      evdev
layout:     us,us
variant:    altgr-intl,colemak
options:    ctrl:nocaps,grp:alt_shift_toggle

Alors est-il possible que quelque chose écrase ma configuration ?
J'utilise GNOME/Cinnamon

Réponse acceptée :

Oui, Gnome remplace le xkb X paramètres.
Vous pouvez définir xkb mise en page/options dans Gnome soit en utilisant les outils CLI gsettings /dconf ou via l'outil graphique dconf-editor .
Donc, en utilisant gsettings , ouvrez un terminal et lancez :

gsettings set org.gnome.desktop.input-sources sources "[('xkb', 'us'), ('xkb', 'us+altgr-intl'), ('xkb', 'us+colemak')]"

et

gsettings set org.gnome.desktop.input-sources xkb-options "['ctrl:nocaps','grp:alt_shift_toggle']"  

Ou lancez dconf-editor et éditez comme ceci (notez que chaque valeur doit être entre guillemets et que plusieurs valeurs sont délimitées par comma+space ):

et

Les deux méthodes devraient donner les mêmes résultats.