gnuboot/resources/grub/patches/0003-say-the-name-gnuboot-i...

26 lines
806 B
Diff
Raw Normal View History

2022-03-20 01:44:45 +01:00
From 319bd622e033aa585ca90692581bb5fe69c45ceb Mon Sep 17 00:00:00 2001
From: Adrien 'neox' Bourmault <neox@gnu.org>
Date: Tue, 8 Aug 2023 12:38:25 +0000
Subject: [PATCH 3/3] say the name gnuboot, in the grub menu
---
grub-core/normal/main.c | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/grub-core/normal/main.c b/grub-core/normal/main.c
2022-03-20 01:44:45 +01:00
index c4ebe9e22..3b7a4fc58 100644
--- a/grub-core/normal/main.c
+++ b/grub-core/normal/main.c
@@ -209,7 +209,7 @@ grub_normal_init_page (struct grub_term_output *term,
grub_term_cls (term);
- msg_formatted = grub_xasprintf (_("GNU GRUB version %s"), PACKAGE_VERSION);
+ msg_formatted = grub_xasprintf (_("GNUBoot firmware, based on coreboot. https://gnu.org/software/gnuboot/"));
if (!msg_formatted)
return;
--
2.25.1