On Sat, Jan 28, 2017 at 10:44:54AM -0500, myglc2 wrote: > I am remotely managing headless GuixSD servers using IPMI Serial over > LAN (SOL). The BIOS, linux messages, and REPL work great. > > I also see ... > > GRUB loading. > Welcome to GRUB! > > ... but I don't see the GuixSD boot menu ;-( > > Is there a way to make GuixSD boot screens appear on TTY?
One of my machines is unable to show the graphical menu, so I crudely make it use the console menu with the attached diff. We should make it smarter so it can be set properly in the OS declaration, or even choose automatically.
--- a/gnu/system/grub.scm
+++ b/gnu/system/grub.scm
@@ -197,7 +197,7 @@ system string---e.g., \"x86_64-linux\"."
insmod efi_uga
fi
- terminal_output gfxterm
+ terminal_output console
"
""))
--
2.11.0
signature.asc
Description: PGP signature
