Como alterar a opção "Alternar para a próxima fonte"

Estou usando o Ubuntu 17.10 há um tempo e está funcionando muito bem. Hoje, porém, após a atualização, tenho um novo atalho Alt+ Shiftcomo alternativa Alternar para a próxima fonte de entrada. Alt+ Shifté um modificador comum no Intellij, portanto muitos atalhos não funcionam mais.

Tentei alterar o atalho, mas ele não está listado na janela de atalhos.

Existe um arquivo onde eu possa alterá-lo (a alternativa)?

Aqui está a captura de tela da opção

Finalmente eu encontrei a opção. Eu tive que instalar o Tweaks e ir para

Teclado e mouse> Opções adicionais de layout> alternar para outro layout

O estranho é que o atalho padrão super+ spacenão foi selecionado nessa janela, apenas o atalho alternativo.

Na minha resposta, suponho que você use o Gnome 3.x.

Você pode usar o Tweaks , mas também pode escrever o valor diretamente, por exemplo, alterar de Alt+ Shiftpara Ctrl+ Shiftpode ser feito pelo seguinte comando no terminal:

dconf write /org/gnome/desktop/input-sources/xkb-options ['grp:ctrl_shift_toggle','grp_led:scroll']

Para desativar a opção de alternar para o próximo tipo de fonte no terminal:

xkbopts="/org/gnome/desktop/input-sources/xkb-options"
dconf read $xkbopts
dconf write $xkbopts "['']"

Isso funcionou para mim. Nenhuma reinicialização é necessária.

Instale gnome-tweak-toolse você ainda não o tiver. Abra-o, vá para a seção Digitação e provavelmente é a ' Alternando para outras opções de layout ' que você está procurando.

Para Ubuntu 18.04: A mudança alternativa para a próxima fonte pode ser alterada ou desativada apenas com "Tweak Tool":

$ sudo add-apt-repository universe
$ sudo apt install gnome-tweak-tool
$ gnome-tweaks

e, em seguida, Teclado e mouse> Opções adicionais de layout> Mudar para outro layout