Sim, o Gnome substitui as configurações de xkb X . Eu não sei sobre a área de trabalho Cinnamon, mas o Gnome vanilla é usado para permitir que você adicione diferentes layouts de teclado por completo System Settings > Region & Language > Input Sources :

e,emseguida,vocêtinhaLayoutOptionsnaparteinferior,ondevocêpoderiaadicionaropções.Noentanto,emgnome-control-center-3.6essaopçãonãofuncionamais-estádesativada(consulteaexplicaçãopara3.4>3.6Transição
De qualquer forma, você tem as opções para definir xkb layout / options no Gnome através de dconf-editor ou gsettings (se você preferir a linha de comando).
gsettings - no terminal, execute:
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']"
dconf-editor - vai para org :: gnome :: desktop :: entrada -sources e edite assim:
Observe que os valores são delimitados por comma+space .
Ambos os métodos devem produzir os mesmos resultados.