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

33

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

— Alejandro Vera
fonte

Para os retardatários, esse também é um problema no 18.04 para as pessoas que estão atualizando a partir do 17.10: bugs.launchpad.net/ubuntu/+source/gnome-shell/+bug/1762952

— oligofren:

40

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.

— Alejandro Vera
fonte

4

Tweaks, mencionado por Alejandro Vera, é o aplicativo "Gnome Tweaks" (pode ser encontrado em "Software" ou apenas na entrada de pesquisa Atividades)

— Roman Bekkiev 29/17

Agora é chamado de Tweaks git.gnome.org/browse/gnome-tweak-tool/commit/… #

— Alejandro Vera

4

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']

— avtomaton
fonte

A resposta do avtomaton funciona bem, mas não se esqueça de chaves duplas:dconf write /org/gnome/desktop/input-sources/xkb-options "['grp:alt_shift_toggle','grp_led:scroll']"

— zxxz

2

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.

— Sam
fonte

1

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.

— Michael Peteichuk
fonte

1

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

— Gerardo Nava Pereda
fonte