bug#75299: [PATCH v1] gnu: Add grub-emu.

Message ID 87bjusuvi7.fsf@gnu.org
State New
Headers
Series bug#75299: [PATCH v1] gnu: Add grub-emu. |

Commit Message

Ludovic Courtès Feb. 23, 2025, 10:49 p.m. UTC
  Hi Denis,

Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org> skribis:

> * gnu/packages/bootloaders.scm (grub-emu): New variable.
>
> Signed-off-by: Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org>
> Change-Id: Ia70246841e612b1fe1cb70001b9a6420cb7a63ea

Applied with the change below (‘package/inherit’ ensures that the
‘replacement’ field, if any, is inherited by variants.)

Ludo’.
  

Patch

diff --git a/gnu/packages/bootloaders.scm b/gnu/packages/bootloaders.scm
index 21cd98a55c2..b2f2adf26e7 100644
--- a/gnu/packages/bootloaders.scm
+++ b/gnu/packages/bootloaders.scm
@@ -476,8 +476,7 @@  (define-public grub-efi32
          (package-native-inputs grub-efi)))))
 
 (define-public grub-emu
-  (package
-    (inherit grub)
+  (package/inherit grub
     (name "grub-emu")
     (synopsis "GRand Unified Boot loader (Emu version)")
     (arguments