Robert Schindler, le sam. 26 janv. 2019 23:17:09 +0100, a ecrit: > Samuel Thibault wrote: > > Uh, these do not match. Which desktop are you using? Is that perhaps > > tinkering with the keyboard configuration? > > Hmm, I'm using GNOME 3 (gnome-shell) with gdm, as installed by > task-gnome-desktop.
And is your keyboard layout really US as reported by setxkbmap? Samuel
