Ok, I was more searching for a way to do it from inside grub itself, but this will have to do.
2018-03-18 18:55 GMT+01:00 Michael Biebl <bi...@debian.org>: > Am 18.03.2018 um 18:50 schrieb LEDUQUE Mickaël: > > I'll do all that, thanks. Do you know how I can set a correct keymap in > > the grub "e" text editor ? > > I don't. But this is literally the first google hit regarding that question > https://askubuntu.com/questions/751259/how-to- > change-grub-command-line-grub-shell-keyboard-layout > > > -- > Why is it that all of the instruments seeking intelligent life in the > universe are pointed away from Earth? > >