The grub-emu's grub_exit function will exit immediately without any
housekeeping work for restoring terminal settings and leaves unusable
terminal in the end. Fix the problem by calling grub_reboot to allow
doing the housekeeping work and restoring the terminal settings.
---
grub-core/commands/minicmd.c | 4 ++++
1 file changed, 4 insertions(+)
diff --git a/grub-core/commands/minicmd.c b/grub-core/commands/minicmd.c
index a3a1182..63ffeb5 100644
--- a/grub-core/commands/minicmd.c
+++ b/grub-core/commands/minicmd.c
@@ -181,7 +181,11 @@ grub_mini_cmd_exit (struct grub_command *cmd __attribute__
((unused)),
int argc __attribute__ ((unused)),
char *argv[] __attribute__ ((unused)))
{
+#if defined (GRUB_MACHINE_EMU)
+ grub_reboot ();
+#else
grub_exit ();
+#endif
/* Not reached. */
}
--
2.6.3
_______________________________________________
Grub-devel mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/grub-devel
