From 71aab2b998c1c0c7e4b599f90f01adf754829c76 Mon Sep 17 00:00:00 2001 From: William Jon McCann Date: Wed, 15 May 2013 13:53:48 -0400 Subject: [PATCH 17/34] Don't print GNU GRUB header No one cares. --- grub-core/normal/main.c | 2 ++ 1 file changed, 2 insertions(+) diff --git a/grub-core/normal/main.c b/grub-core/normal/main.c index ac4ee63..3edb687 100644 --- a/grub-core/normal/main.c +++ b/grub-core/normal/main.c @@ -204,6 +204,7 @@ grub_normal_init_page (struct grub_term_output *term, grub_term_cls (term); +#if 0 msg_formatted = grub_xasprintf (_("GNU GRUB version %s"), PACKAGE_VERSION); if (!msg_formatted) return; @@ -227,6 +228,7 @@ grub_normal_init_page (struct grub_term_output *term, grub_putcode ('\n', term); grub_putcode ('\n', term); grub_free (unicode_msg); +#endif } static void -- 1.8.4.2