diff options
| author | Leo Famulari <leo@famulari.name> | 2017-05-11 03:12:44 -0400 |
|---|---|---|
| committer | Leo Famulari <leo@famulari.name> | 2017-05-14 14:12:26 -0400 |
| commit | e0b2e93005188ab4d6c7413a27832ba2fb7388e8 (patch) | |
| tree | a5f901540257585e59887ae137440917d13e0766 /AUTHORS | |
| parent | 4100698d93bfcb74eb616c14fb15149fae0718f8 (diff) | |
| download | patches-e0b2e93005188ab4d6c7413a27832ba2fb7388e8.tar patches-e0b2e93005188ab4d6c7413a27832ba2fb7388e8.tar.gz | |
system: grub: Expose GRUB's interactive interface settings.
* gnu/system/grub.scm (<grub-configuration>): Add new fields
terminal-outputs, terminal-inputs, serial-unit, and serial-speed.
(grub-setup-io, setup-gfxterm): New procedures.
* doc/guix.texi (GRUB Configuration): Document the new fields.
Diffstat (limited to 'AUTHORS')
0 files changed, 0 insertions, 0 deletions