De uma execução de terminal:
xmodmap -e 'keycode 65=Control_R'
Para desfazer, digite:
xmodmap -e 'keycode 65=space'
Em geral, para ver a lista de todos os teclados que você pode mapear e seus nomes, digite:
xmodmap -pk
Eu tentei definir org.gnome.desktop.input-sources
para ['space:ctrl']
, mas não funciona.
Nota: Eu quero que a barra de espaço continue funcionando como antes (o espaço deve acionar Ctrl e Space, não me importo com o conflito).
De uma execução de terminal:
xmodmap -e 'keycode 65=Control_R'
Para desfazer, digite:
xmodmap -e 'keycode 65=space'
Em geral, para ver a lista de todos os teclados que você pode mapear e seus nomes, digite:
xmodmap -pk
Tags keyboard-layout keyboard