Depois de determinar que é provável que haja um problema com meu layout de teclado alemão, encontrei este postar com a recomendação para executar
setxkbmap de
Isso parece ter resolvido o problema por enquanto.
Para um processo de automação pequeno, estou usando o xdotool porque preciso do meu script para ssh em uma máquina virtual e executar comandos lá. Depois de atualizar o Ubuntu para o 13.10, parece que o xdotool não pode mais digitar y corretamente. Mesmo um simples
xdotool type --clearmodifiers "y"
leva a ← sendo digitado. Parece funcionar muito bem para caracteres diferentes de y . Eu tentei desinstalar e reinstalar o xdotool, mas não obtive sucesso. Alguma idéia ou sugestão sobre como consertar isso?
Eu tenho o xdotool com a versão 3.20130505.1 e estou usando um Dell Latitude E6530 com o Ubuntu 13.10.
Editar: saída de gsettings list-recursively org.gnome.desktop.input-sources :
org.gnome.desktop.input-sources current uint32 0
org.gnome.desktop.input-sources per-window false
org.gnome.desktop.input-sources show-all-sources false
org.gnome.desktop.input-sources sources [('xkb', 'de')]
org.gnome.desktop.input-sources xkb-options @as []