Re: Tweaking the initial boot menu (isolinux)

2018-07-29 Thread Steve McIntyre
On Thu, Jul 26, 2018 at 03:21:22PM +0200, Cyril Brulebois wrote: >Steve McIntyre (2018-07-26): >> >> I've had to change the sizing and positioning of the boot menu to make >> things fit. Before I commit the above, I just want to see if anybody >> objects! (Worried I may be breaking accessibility

Re: Tweaking the initial boot menu (isolinux)

2018-07-26 Thread Cyril Brulebois
Hi, Steve McIntyre (2018-07-26): > Discussing with highvoltage earlier in the week, we thought it would > be helpful if the isolinux boot menu that d-i starts with was more > explicit about being BIOS mode. The Grub equivalent for UEFI boot > already explicitly mentions UEFI. So, I'm looking at t