#48314 - [PATCH] Install guix system on Raspberry Pi

Package	Source(s)		Maintainer(s)
guix-patches		PTS Buildd Popcon

Message #215 received at 48314@debbugs.gnu.org (full text, mbox, reply):

Received: (at 48314) by debbugs.gnu.org; 1 Dec 2022 15:32:49 +0000
From debbugs-submit-bounces@debbugs.gnu.org Thu Dec 01 10:32:49 2022
Received: from localhost ([127.0.0.1]:40320 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces@debbugs.gnu.org>)
	id 1p0lYP-0000Ir-2L
	for submit@debbugs.gnu.org; Thu, 01 Dec 2022 10:32:49 -0500
Received: from mail-qk1-f175.google.com ([209.85.222.175]:33703)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <maxim.cournoyer@gmail.com>) id 1p0lYK-0000Il-5Y
 for 48314@debbugs.gnu.org; Thu, 01 Dec 2022 10:32:48 -0500
Received: by mail-qk1-f175.google.com with SMTP id x21so1458181qkj.0
 for <48314@debbugs.gnu.org>; Thu, 01 Dec 2022 07:32:44 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112;
 h=mime-version:user-agent:message-id:in-reply-to:date:references
 :subject:cc:to:from:from:to:cc:subject:date:message-id:reply-to;
 bh=v50dQYD2bTE7w0O3S2Wn/rC1LE6HXFXQ8G1/qjp3TJQ=;
 b=VfgJ4oDGLYUPSL4p23EyF8Sce7/CXdmAY49o7Kd5dOKxcYZJ+6byd4O/7LG2oS9E1y
 780mltr/C6nCQe8zRBbvjxylT206TACnKxnE6BhcViMbr6zDTcSvjFvZAa1daLa5Lm5l
 AZm5zrSakmsW2oYQPnGZpu1RJCGGYZxCzc0OY/Q6ebNMfgnu9ou9wBzrp4l35An0MLBp
 cUOwMNrkqMJtYUaGIn1qFVAoylnAhdxwBVcVlQJJMcekV0H+05Y2GrlzhmoWQ8CM0qtO
 QibKhGg3GzSrMB7GvqhxPKi/eHYUWEEOm+ZZni7lvX2Jld2JvCAtxlDhhS6r2TR+Dfnq
 7QTA==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
 d=1e100.net; s=20210112;
 h=mime-version:user-agent:message-id:in-reply-to:date:references
 :subject:cc:to:from:x-gm-message-state:from:to:cc:subject:date
 :message-id:reply-to;
 bh=v50dQYD2bTE7w0O3S2Wn/rC1LE6HXFXQ8G1/qjp3TJQ=;
 b=7GSUu/ZCCxf7y9tGC85Se36MdRl5EoUzyzhPGrGJha4xdexhIFsLo6DQr2XB2+sSiq
 VnesRLm3kRkSbvNoNWNqT9WG8Aszx6GEIXEnofDm+eGkoSUAgXLI5IkuwKFpMui06KNB
 V+8sJ/olB1lhy4Lo+N1FfN0KRn2fuBJX/ytMqJFpOGZhgPEGHbF19oYJv2ZOuTYBP8tH
 Kp8M2QEadUZYme1VdXTGroX+L+FUpMmx2rVc1QHcxHmBTI9RnsAWAiIqs4se235157sN
 jCKD4bAOuJ2hi+rsjaRTJPmUFEfBE6Ld98YjfQgi9U5jsc8zKRmGTcvpCphtTFwbSqGP
 xOgQ==
X-Gm-Message-State: ANoB5pkuzs8NZadVvL/w067IpbSVuX78pGRL9Ggu8TwvQSVCbwGZxrHr
 sImNqDxgZvXA326cTGQRpTw=
X-Google-Smtp-Source: AA0mqf5d3jH+eJQVzY2OWjy6j5oAy1ULu164QFX9cay3jeOAoyjUGNBK2VMhS9gSIS+UGaJ9ErjOtw==
X-Received: by 2002:a05:620a:2157:b0:6fa:19e6:3411 with SMTP id
 m23-20020a05620a215700b006fa19e63411mr44939034qkm.549.1669908758580; 
 Thu, 01 Dec 2022 07:32:38 -0800 (PST)
Received: from hurd ([2607:fad8:4:3::1001]) by smtp.gmail.com with ESMTPSA id
 de4-20020a05620a370400b006fae7e6204bsm3670391qkb.108.2022.12.01.07.32.37
 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256);
 Thu, 01 Dec 2022 07:32:38 -0800 (PST)
From: Maxim Cournoyer <maxim.cournoyer@gmail.com>
To: Stefan <stefan-guix@vodafonemail.de>
Subject: Re: bug#48314: [PATCH] Install guix system on Raspberry Pi
References: <xjr0W3rUn2GueNJb8lTEyJfyt5ECWhhz6FymZT-rQmOFC_H7woQjM_l9TFaza-5Sruwkn8XgBv5LTcR-gyKkSzwC5VU078zVqqDkSP7Sn2U=@protonmail.com>
 <CA07C169-EBA6-46B5-8EE1-FE7BDB9F00EE@vodafonemail.de>
 <EEFB37EE-F9AC-44BE-B5BB-77D34A160757@vodafonemail.de>
 <2IN6BsQe0_wSC9iwf7LHT5LUk7wXLVXytkDtcg7RIYByyYFTsuC9BZPR_wdv4eDMncsZfy17h7z9jIRRSC6kfV2odXkt0hp4Lilq5sGYdVo=@protonmail.com>
 <CA1AEB2D-9941-4E53-A4D5-273E17626AD9@vodafonemail.de>
 <204332DD-AA02-4A31-9B48-FB3FAB9BD8F3@vodafonemail.de>
Date: Thu, 01 Dec 2022 10:32:37 -0500
In-Reply-To: <204332DD-AA02-4A31-9B48-FB3FAB9BD8F3@vodafonemail.de> (Stefan's
 message of "Thu, 22 Sep 2022 18:18:59 +0200")
Message-ID: <87pmd3i1gq.fsf_-_@gmail.com>
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.2 (gnu/linux)
MIME-Version: 1.0
Content-Type: text/plain
X-Spam-Score: 0.0 (/)
X-Debbugs-Envelope-To: 48314
Cc: Vagrant Cascadian <vagrant@debian.org>,
 Danny Milosavljevic <dannym@scratchpost.org>,
 Ludovic Courtès <ludo@gnu.org>,
 phodina <phodina@protonmail.com>, 48314@debbugs.gnu.org
X-BeenThere: debbugs-submit@debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request@debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit@debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request@debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request@debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces@debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces@debbugs.gnu.org>
X-Spam-Score: -1.0 (-)

Hi again,

Stefan <stefan-guix@vodafonemail.de> writes:

[...]

> +(define (grub-configuration-file config . args)
> +  (let* ((bootloader (bootloader-configuration-bootloader config))
> +         (grub (bootloader-package bootloader)))
> +    (apply make-grub-configuration grub config args)))
> +
> +(define (grub-efi-configuration-file . args)
> +  (apply make-grub-configuration grub-efi args))

Another question regarding that same piece of code: why isn't
grub-efi-configuration-file used in the definition of the
grub-efi-bootloader definition?  It's still using
grub-configuration-file.

-- 
Thanks,
Maxim

Display info messages

Send a report that this bug log contains spam.

debbugs.gnu.org maintainers <help-debbugs@gnu.org>. Last modified: Sun Dec 22 14:29:27 2024; Machine Name: wallace-server

GNU bug tracking system

Debbugs is free software and licensed under the terms of the GNU Public License version 2. The current version can be obtained from https://bugs.debian.org/debbugs-source/.

#48314 [PATCH] Install guix system on Raspberry Pi