Dove Xkb ottiene la sua configurazione?

C'è un modo per interrogare dove xkb sta ottenendo la sua configurazione da?
Sotto ArchLinux ho /etc/X11/xorg.conf.d/00-keyboard.conf con:

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           

ma all'avvio, se eseguo setxkbmap -query , ricevo solo

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

Quindi non vengono riconosciute né le varianti né le opzioni alternative (inutile dire che non posso cambiare layout). Se invece corro

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

Ottengo il corretto

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

Quindi c'è la possibilità che qualcosa stia sovrascrivendo la mia configurazione?
Sto eseguendo GNOME/Cinnamon

Risposta accettata:

Sì, Gnome sovrascrive xkb X impostazioni.
Puoi impostare xkb layout/opzioni in Gnome utilizzando gli strumenti CLI gsettings /dconf o tramite lo strumento GUI dconf-editor .
Quindi, usando gsettings , apri un terminale ed esegui:

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

e

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

Oppure avvia dconf-editor e modifica in questo modo (nota che ogni valore deve essere tra virgolette e più valori sono delimitati da comma+space ):

e

Entrambi i metodi dovrebbero produrre gli stessi risultati.