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

From: Ludovic Courtès <[email-masked]>
Date: Sun, 23 Feb 2025 23:49:36 +0100

Hi Denis,

Denis 'GNUtoo' Carikli <[email-masked]> skribis:

> * gnu/packages/bootloaders.scm (grub-emu): New variable.
>
> Signed-off-by: Denis 'GNUtoo' Carikli <[email-masked]>
> Change-Id: Ia70246841e612b1fe1cb70001b9a6420cb7a63ea

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

Ludo’.

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