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

Previous Next

Full log

Message #10 received at 75299-done <at> debbugs.gnu.org (full text, mbox):

From: Ludovic Courtès <ludo <at> gnu.org>
To: Denis 'GNUtoo' Carikli <GNUtoo <at> cyberdimension.org>
Cc: Vagrant Cascadian <vagrant <at> debian.org>, 75299-done <at> debbugs.gnu.org,
 Efraim Flashner <efraim <at> flashner.co.il>
Subject: Re: bug#75299: [PATCH v1] gnu: Add grub-emu.
Date: Sun, 23 Feb 2025 23:49:36 +0100

[Message part 1 (text/plain, inline)]

Hi Denis,

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

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

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

Ludo’.

[Message part 2 (text/x-patch, inline)]

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

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.