Re: How to change menu entries in grub?

2020-05-01 Thread jnqnfe
I presume that what you really mean is the text at the top of the screen in the bootloader? Like "Debian GNU/Linux 10 (buster)". If that's what you mean, it's a part of the background image (splash), automatically generated from an SVG, with the text hard coded into live-build. At the current time

Re: How to change menu entries in grub?

2020-05-01 Thread John Crawley
On 2020-05-02 08:40, jnq...@gmail.com wrote: I presume that what you really mean is the text at the top of the screen in the bootloader? Like "Debian GNU/Linux 10 (buster)". If that's what you mean, it's a part of the background image (splash), automatically generated from an SVG, with the text