Ludovic Courtès <ludo@gnu.org> writes:

[...]

> I’ve removed the ‘terminal_input at_keyboard’ line in
> cae0725b809449dcdebc2d84cf997e051e689e06.

the commit message states

 bootloader: grub: Remove unneeded 'terminal_output'

but I guess should be 'terminal_input' :-)

Gio'

[...]

-- 
Giovanni Biscuolo

Xelera IT Infrastructures