Ludovic Courtès cae0725b80

bootloader: grub: Remove unneeded 'terminal_output'. ...

Fixes <https://bugs.gnu.org/35585>.
Reported by Florian Pelz <pelzflorian@pelzflorian.de>.

This statement was added in 8d058e7b1b1a409d3d9cc29c5650a98db4e78783 but
turned out to be unnecessary.

* gnu/bootloader/grub.scm (grub-configuration-file): Remove
'terminal_output' statement.

2019-05-09 12:11:36 +02:00

..

depthcharge.scm

gnu: Add configuration for depthcharge bootloader.

2019-04-03 18:21:42 +02:00

extlinux.scm

bootloader: Use 'invoke/quiet' when running 'grub-install' and co.

2019-03-16 18:15:13 +01:00

grub.scm

bootloader: grub: Remove unneeded 'terminal_output'.

2019-05-09 12:11:36 +02:00

u-boot.scm

gnu: u-boot: Update to 2019.04.

2019-04-29 12:35:04 +02:00