El menú de GRUB que tengo, que fue creado al instalar GRUB hace unas semanas en un disco duro desde Ubuntu 17.10, alterna entre dos fuentes, por cada segundo que el temporizador cuenta atrás, y al mover la selección hacia arriba o hacia abajo a una fuente diferente. opción de menú. El menú es perfectamente funcional, es molesto que vuelva a dibujar el menú en una fuente ligeramente más grande o más pequeña que antes cada vez que presiono una tecla.
¿Dónde podría configurarse este comportamiento? En mi /etc/default/grubexpediente todavía no tengo una GRUB_FONTlínea. Los únicos cambios que hice en mi /etc/default/grubarchivo desde que instalé GRUB hasta ahora fueron cambiar GRUB_CMDLINE_LINUX_DEFAULTy GRUB_CMDLINE_LINUXvaciar la cadena para poder ver los mensajes de depuración de inicio.
Respuesta1
He encontrado una solución. Se supone que GRUB no puede alternar fuentes como esta, y el hecho de que lo haga es un error, pero, específicamente, eliminar --appendde la siguiente línea en /etc/grub.d/00_header:
terminal_output --append ${GRUB_TERMINAL_OUTPUT}
...para que se convierta en....
terminal_output ${GRUB_TERMINAL_OUTPUT}
... y luego ejecutando:
sudo update-grub
Trabajó para mi.
Aquíes la Fuente.