[debbugs-tracker] bug#26875: closed (Non-graphical (and other types) of GRUB interfaces)

[GNU bug Tracking System]

Your message dated Sun, 14 May 2017 14:17:52 -0400
with message-id <address@hidden>
and subject line Re: bug#26875: [v2] system: grub: Expose GRUB's interactive 
interface settings.
has caused the debbugs.gnu.org bug report #26875,
regarding Non-graphical (and other types) of GRUB interfaces
to be marked as done.

(If you believe you have received this mail in error, please contact
address@hidden)


-- 
26875: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=26875
GNU Bug Tracking System
Contact address@hidden with problems

--- Begin Message --- Subject: Non-graphical (and other types) of GRUB interfaces Date: Thu, 11 May 2017 03:36:26 -0400 User-agent: Mutt/1.8.2 (2017-04-18)

This patch exposes the GRUB configuration options that control where and
how the user interface is presented. Generally, you can use it to put
the GRUB menu on a serial port, get a text-only menu on the kernel
console, or even use Morse code on the PC speaker (untested!).

You can use it like this, for example:

(bootloader (grub-configuration
            (device "/dev/sda")
            (terminal-outputs '(gfxterm console))
            (terminal-inputs '(serial console usb_keyboard))
            (serial-speed 115200)
            (serial-unit 0)))

Since this offers new ways to break your system, the patch sets up some
input validation. Hopefully it's enough.

The general idea came from this conversation:

https://lists.gnu.org/archive/html/guix-devel/2017-04/msg00053.html

Your feedback?

0001-system-grub-Expose-GRUB-s-interactive-interface-sett.patch
Description: Text document

signature.asc
Description: PGP signature

--- End Message ---

> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: bug#26875: [v2] system: grub: Expose GRUB's interactive interface settings.
>
>
>
>
> Date: 
>
> Sun, 14 May 2017 14:17:52 -0400
>
>
>
>
> User-agent: 
>
> Mutt/1.8.2 (2017-04-18)
>
>
>
>
> On Sun, May 14, 2017 at 09:38:24AM +0200, Mathieu Othacehe wrote:
> > 
> > > Mathieu: is it OK to apply this before the patch series on non-GRUB
> > > bootloaders?
> > 
> > Yes no problem !
>
> Awesome! Pushed as e0b2e93005188ab4d6c7413a27832ba2fb7388e8.
>
> > This doesn't seems to difficult to rebase on top of my
> > serie. I guess "serial-unit" and "serial-speed" could fit in generic
> > "bootloader-configuration". I'm not sure for "terminal_inputs/outputs"
> > that seem grub specific.
>
> Yes, the serial-unit (aka COM port) and serial-speed seem generically
> useful on their own, as long you take care to handle the different
> numbering between GRUB's serial-unit (zero indexed) and the COM port
> numbering (indexed from 1).
>
> The terminal inputs and outputs are generic only at the highest level.
> At least, the choice between a graphical and text / curses interface
> seeems universal. But of course other bootloader implementations will
> support their own set of interfaces, and they may require extra
> configuration.
>
>
> --- End Message ---