From: deloptes <deloptes@...> Date: Fri, 27 Oct 2017 18:37:55 +0200
> What happens with a new user?
Usually pc104 keyboard (us) is selected per default - at least according my
experience and it never was an issue with any symbol. I recently created a
new user and it worked straight forward.