Come modificare il "passaggio alternativo alla fonte successiva"

33

Sto usando Ubuntu 17.10 da un po 'e funziona alla grande. Ma oggi dopo l'aggiornamento, ho una nuova scorciatoia, Alt+ Shift, in alternativa Passa alla fonte di input successiva. Alt+ Shiftè un modificatore comune in Intellij, quindi molte scorciatoie non funzionano più.

Ho provato a cambiare il collegamento, ma non è elencato nella finestra dei collegamenti.

Esiste un file in cui posso cambiarlo (l'alternativa)?

Ecco lo screenshot dell'opzione

— Alejandro Vera
fonte

Per i ritardatari, questo è anche un problema nel 18.04 per le persone che eseguono l'

— oligofren

40

Finalmente ho trovato l'opzione. Ho dovuto installare Tweaks e andare a

Tastiera e mouse> Opzioni di layout aggiuntive> passaggio a un altro layout

La cosa strana è che c'è quel collegamento predefinito super+ spacenon è stato selezionato in quella finestra, ma solo il collegamento alternativo.

— Alejandro Vera
fonte

4

Tweaks, menzionato da Alejandro Vera, è l'applicazione "Gnome Tweaks" (si trova in "Software" o semplicemente dall'input di ricerca delle attività)

— Roman Bekkiev,

Ora si chiama Tweaks git.gnome.org/browse/gnome-tweak-tool/commit/…

— Alejandro Vera

4

Nella mia risposta suppongo che tu usi Gnome 3.x.

Puoi usare Tweaks , ma puoi anche scrivere direttamente il valore, ad esempio, cambiando da Alt+ Shifta Ctrl+ Shiftpuoi fare il seguente comando nel terminale:

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

— avtomaton
fonte

La risposta di Avtomaton funziona bene, ma non dimenticare le doppie parentesi graffe:dconf write /org/gnome/desktop/input-sources/xkb-options "['grp:alt_shift_toggle','grp_led:scroll']"

— zxxz

2

Per disabilitare l'opzione di passaggio alternativo al prossimo tipo di sorgente nel terminale:

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

Questo ha funzionato per me. Non è necessario il riavvio.

— Sam
fonte

1

Installa gnome-tweak-toolse non l'hai già. Aprilo, vai alla sezione Digitazione ed è probabilmente il ' Passaggio a un'altra opzione di layout ' che stai cercando.

— Michael Peteichuk
fonte

1

Per Ubuntu 18.04: il passaggio alternativo alla fonte successiva può essere modificato o disabilitato solo con "Tweak Tool":

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

quindi Tastiera e mouse> Opzioni di layout aggiuntive> Passaggio a un altro layout

— Gerardo Nava Pereda
fonte