GNU logs - #56582, boring messages

Message sent to bug-guix@HIDDEN:

Subject: bug#56582: Installer does not detect or allow detection of other bootable partitions
Resent-From: Peter <sunspark@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-guix@HIDDEN
Resent-Date: Fri, 15 Jul 2022 20:28:02 +0000
Resent-Message-ID: <handler.56582.B.165791686824687 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
To: 56582 <at> debbugs.gnu.org
MIME-Version: 1.0
From: Peter <sunspark@HIDDEN>
Date: Fri, 15 Jul 2022 16:10:46 -0400
Message-ID: <CAHaGoVN8iea+ANVAne5JbuP+g75KpjHdMrXyesAmqxbBPGxFdw@HIDDEN>
Content-Type: multipart/alternative; boundary="000000000000c7d1e205e3dd9d99"
Received-SPF: pass client-ip=2a00:1450:4864:20::136;
 envelope-from=sunspark@HIDDEN; helo=mail-lf1-x136.google.com
X-Spam_score_int: -20
X-Spam_score: -2.1
X-Spam_bar: --
X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1,
 DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001,
 HTML_MESSAGE=0.001, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001,
 SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=ham autolearn_force=no
X-Spam_action: no action
X-Spam-Score: -1.3 (-)
X-Mailman-Approved-At: Fri, 15 Jul 2022 16:27:45 -0400
X-BeenThere: debbugs-submit <at> 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 <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -2.3 (--)

--000000000000c7d1e205e3dd9d99
Content-Type: text/plain; charset="UTF-8"

Hi,

This is a particularly AWFUL user experience bug. Installing GUIX to a
partition only lists GUIX in the grub boot menu afterward despite the
existence of other bootable OSes on the drive.

Ok fine thinks I, I will just need to manually run grub's mkconfig to force
re-detection. But this command does not exist in GUIX. Installing grub did
not create grub2-mkconfig. Installing osprober wasn't helpful.

I did not see documentation on how to make GUIX detect and add other
operating systems to the boot menu from userland. After much time wasted, I
needed to download another distro, install it so it would repair the boot
menu, and then be able to boot into my main partition.

Recommendation:
Installer needs to detect and add to the menu the other OSes.
Documentation needs to show how to do it manually via a different method if
GUIX does not include grub2-mkconfig otherwise it needs to warn upfront
that this distro should not be used on multi-boot PCs.

Best,
Peter

--000000000000c7d1e205e3dd9d99
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><div><div><div><div><div>Hi,<br><br></div>This is a partic=
ularly AWFUL user experience bug. Installing GUIX to a partition only lists=
 GUIX in the grub boot menu afterward despite the existence of other bootab=
le OSes on the drive.<br><br></div>Ok fine thinks I, I will just need to ma=
nually run grub&#39;s mkconfig to force re-detection. But this command does=
 not exist in GUIX. Installing grub did not create grub2-mkconfig. Installi=
ng osprober wasn&#39;t helpful. <br><br></div>I did not see documentation o=
n how to make GUIX detect and add other operating systems to the boot menu =
from userland. After much time wasted, I needed to download another distro,=
 install it so it would repair the boot menu, and then be able to boot into=
 my main partition.<br><br></div><div>Recommendation:<br></div><div>Install=
er needs to detect and add to the menu the other OSes.<br></div><div>Docume=
ntation needs to show how to do it manually via a different method if GUIX =
does not include grub2-mkconfig otherwise it needs to warn upfront that thi=
s distro should not be used on multi-boot PCs.<br><br></div>Best,<br></div>=
Peter<br><br></div>

--000000000000c7d1e205e3dd9d99--

Message sent:

Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable
MIME-Version: 1.0
X-Mailer: MIME-tools 5.505 (Entity 5.505)
Content-Type: text/plain; charset=utf-8
X-Loop: help-debbugs@HIDDEN
From: help-debbugs@HIDDEN (GNU bug Tracking System)
To: Peter <sunspark@HIDDEN>
Subject: bug#56582: Acknowledgement (Installer does not detect or allow
 detection of other bootable partitions)
Message-ID: <handler.56582.B.165791686824687.ack <at> debbugs.gnu.org>
References: <CAHaGoVN8iea+ANVAne5JbuP+g75KpjHdMrXyesAmqxbBPGxFdw@HIDDEN>
X-Gnu-PR-Message: ack 56582
X-Gnu-PR-Package: guix
Reply-To: 56582 <at> debbugs.gnu.org
Date: Fri, 15 Jul 2022 20:28:03 +0000

Thank you for filing a new bug report with debbugs.gnu.org.

This is an automatically generated reply to let you know your message
has been received.

Your message is being forwarded to the package maintainers and other
interested parties for their attention; they will reply in due course.

Your message has been sent to the package maintainer(s):
 bug-guix@HIDDEN

If you wish to submit further information on this problem, please
send it to 56582 <at> debbugs.gnu.org.

Please do not send mail to help-debbugs@HIDDEN unless you wish
to report a problem with the Bug-tracking system.

--=20
56582: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D56582
GNU Bug Tracking System
Contact help-debbugs@HIDDEN with problems

Message sent to bug-guix@HIDDEN:

Subject: bug#56582: Installer does not detect or allow detection of other bootable partitions
Resent-From: Julien Lepiller <julien@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-guix@HIDDEN
Resent-Date: Sat, 16 Jul 2022 05:49:02 +0000
Resent-Message-ID: <handler.56582.B56582.165795049227889 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
To: Peter <sunspark@HIDDEN>, 56582 <at> debbugs.gnu.org
Date: Sat, 16 Jul 2022 07:46:18 +0200
From: Julien Lepiller <julien@HIDDEN>
User-Agent: K-9 Mail for Android
In-Reply-To: <CAHaGoVN8iea+ANVAne5JbuP+g75KpjHdMrXyesAmqxbBPGxFdw@HIDDEN>
References: <CAHaGoVN8iea+ANVAne5JbuP+g75KpjHdMrXyesAmqxbBPGxFdw@HIDDEN>
Message-ID: <93F87F3F-F349-4152-829D-328F4FB078D4@HIDDEN>
MIME-Version: 1.0
Content-Type: multipart/alternative;
 boundary=----9LJLFT9UNE81DIKK41AXE0IJEMQALZ
Content-Transfer-Encoding: 7bit
Precedence: list
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>

------9LJLFT9UNE81DIKK41AXE0IJEMQALZ
Content-Type: text/plain;
 charset=utf-8
Content-Transfer-Encoding: quoted-printable

Hi Peter,

This is indeed not nice=2E Guix does not provide a useful package that wou=
ld reinstall boot configuratipn because boot configuration is managed toget=
her with the rest of the system configuration=2E

You need to update your /etc/config=2Escm to declare more entries, and rec=
onfigure=2E Here are the relevant chapters in the manual:

https://guix=2Egnu=2Eorg/manual/devel/en/html_node/Bootloader-Configuratio=
n=2Ehtml (in particular, see menu-entry)

https://guix=2Egnu=2Eorg/manual/devel/en/html_node/Invoking-guix-system=2E=
html (see reconfigure)

Of course this is only a workaround I'm proposing, we should fix the insta=
ller to detect other OSs=2E

HTH!

Le 15 juillet 2022 22:10:46 GMT+02:00, Peter <sunspark@gmail=2Ecom> a =C3=
=A9crit=C2=A0:
>Hi,
>
>This is a particularly AWFUL user experience bug=2E Installing GUIX to a
>partition only lists GUIX in the grub boot menu afterward despite the
>existence of other bootable OSes on the drive=2E
>
>Ok fine thinks I, I will just need to manually run grub's mkconfig to for=
ce
>re-detection=2E But this command does not exist in GUIX=2E Installing gru=
b did
>not create grub2-mkconfig=2E Installing osprober wasn't helpful=2E
>
>I did not see documentation on how to make GUIX detect and add other
>operating systems to the boot menu from userland=2E After much time waste=
d, I
>needed to download another distro, install it so it would repair the boot
>menu, and then be able to boot into my main partition=2E
>
>Recommendation:
>Installer needs to detect and add to the menu the other OSes=2E
>Documentation needs to show how to do it manually via a different method =
if
>GUIX does not include grub2-mkconfig otherwise it needs to warn upfront
>that this distro should not be used on multi-boot PCs=2E
>
>Best,
>Peter

------9LJLFT9UNE81DIKK41AXE0IJEMQALZ
Content-Type: text/html;
 charset=utf-8
Content-Transfer-Encoding: quoted-printable

<html><head></head><body>Hi Peter,<br><br>This is indeed not nice=2E Guix d=
oes not provide a useful package that would reinstall boot configuratipn be=
cause boot configuration is managed together with the rest of the system co=
nfiguration=2E<br><br>You need to update your /etc/config=2Escm to declare =
more entries, and reconfigure=2E Here are the relevant chapters in the manu=
al:<br><br><a href=3D"https://guix=2Egnu=2Eorg/manual/devel/en/html_node/Bo=
otloader-Configuration=2Ehtml">https://guix=2Egnu=2Eorg/manual/devel/en/htm=
l_node/Bootloader-Configuration=2Ehtml</a> (in particular, see menu-entry)<=
br><br><a href=3D"https://guix=2Egnu=2Eorg/manual/devel/en/html_node/Invoki=
ng-guix-system=2Ehtml">https://guix=2Egnu=2Eorg/manual/devel/en/html_node/I=
nvoking-guix-system=2Ehtml</a> (see reconfigure)<br><br>Of course this is o=
nly a workaround I'm proposing, we should fix the installer to detect other=
 OSs=2E<br><br>HTH!<br><br><div class=3D"gmail_quote">Le 15 juillet 2022 22=
:10:46 GMT+02:00, Peter &lt;sunspark@gmail=2Ecom&gt; a =C3=A9crit=C2=A0:<bl=
ockquote class=3D"gmail_quote" style=3D"margin: 0pt 0pt 0pt 0=2E8ex; border=
-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">
<div dir=3D"ltr"><div><div><div><div><div>Hi,<br><br></div>This is a parti=
cularly AWFUL user experience bug=2E Installing GUIX to a partition only li=
sts GUIX in the grub boot menu afterward despite the existence of other boo=
table OSes on the drive=2E<br><br></div>Ok fine thinks I, I will just need =
to manually run grub's mkconfig to force re-detection=2E But this command d=
oes not exist in GUIX=2E Installing grub did not create grub2-mkconfig=2E I=
nstalling osprober wasn't helpful=2E <br><br></div>I did not see documentat=
ion on how to make GUIX detect and add other operating systems to the boot =
menu from userland=2E After much time wasted, I needed to download another =
distro, install it so it would repair the boot menu, and then be able to bo=
ot into my main partition=2E<br><br></div><div>Recommendation:<br></div><di=
v>Installer needs to detect and add to the menu the other OSes=2E<br></div>=
<div>Documentation needs to show how to do it manually via a different meth=
od if GUIX does not include grub2-mkconfig otherwise it needs to warn upfro=
nt that this distro should not be used on multi-boot PCs=2E<br><br></div>Be=
st,<br></div>Peter<br><br></div>
</blockquote></div></body></html>
------9LJLFT9UNE81DIKK41AXE0IJEMQALZ--

Message sent to bug-guix@HIDDEN:

Subject: bug#56582: Installer does not detect or allow detection of other bootable partitions
Resent-From: Josselin Poiret <dev@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-guix@HIDDEN
Resent-Date: Sat, 16 Jul 2022 10:00:02 +0000
Resent-Message-ID: <handler.56582.B56582.165796557521090 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
To: Julien Lepiller <julien@HIDDEN>, Peter <sunspark@HIDDEN>, 56582 <at> debbugs.gnu.org
From: Josselin Poiret <dev@HIDDEN>
In-Reply-To: <93F87F3F-F349-4152-829D-328F4FB078D4@HIDDEN>
References: <CAHaGoVN8iea+ANVAne5JbuP+g75KpjHdMrXyesAmqxbBPGxFdw@HIDDEN>
 <93F87F3F-F349-4152-829D-328F4FB078D4@HIDDEN>
Date: Sat, 16 Jul 2022 11:59:29 +0200
Message-ID: <877d4dz8ce.fsf@HIDDEN>
MIME-Version: 1.0
Content-Type: text/plain
Precedence: list
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
 
 Content preview:  Hello both of you, Julien Lepiller <julien@HIDDEN> writes:
    > Of course this is only a workaround I'm proposing, we should fix the installer
    to detect other OSs. Just adding that we don't have any Guix bootloader en
    [...] 
 
 Content analysis details:   (2.0 points, 10.0 required)
 
  pts rule name              description
 ---- ---------------------- --------------------------------------------------
 -0.0 SPF_HELO_PASS          SPF: HELO matches SPF record
 -0.0 SPF_PASS               SPF: sender matches SPF record
  2.0 PDS_OTHER_BAD_TLD      Untrustworthy TLDs
                             [URI: jpoiret.xyz (xyz)]
  0.0 FROM_SUSPICIOUS_NTLD   From abused NTLD
  1.0 BULK_RE_SUSP_NTLD      Precedence bulk and RE: from a suspicious TLD
 -0.0 T_SCC_BODY_TEXT_LINE   No description available.
 -1.0 MAILING_LIST_MULTI     Multiple indicators imply a widely-seen list
                             manager

Hello both of you,

Julien Lepiller <julien@HIDDEN> writes:
> Of course this is only a workaround I'm proposing, we should fix the installer to detect other OSs.
Just adding that we don't have any Guix bootloader entry field to
chainload into another bootloader, needed for some non-free system :)
this would need to be added as well.

I personally don't mind, and use my UEFI boot menu instead if I want to
boot into said non-free OS.

Best,
-- 
Josselin Poiret

Message sent to bug-guix@HIDDEN:

X-Loop: help-debbugs@HIDDEN
Subject: bug#56582: Installer does not detect or allow detection of other bootable partitions
Resent-From: Julien Lepiller <julien@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-guix@HIDDEN
Resent-Date: Sat, 16 Jul 2022 10:33:02 +0000
Resent-Message-ID: <handler.56582.B56582.16579675291009 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: followup 56582
X-GNU-PR-Package: guix
X-GNU-PR-Keywords: 
To: Josselin Poiret <dev@HIDDEN>, Peter <sunspark@HIDDEN>, 56582 <at> debbugs.gnu.org
Received: via spool by 56582-submit <at> debbugs.gnu.org id=B56582.16579675291009
          (code B ref 56582); Sat, 16 Jul 2022 10:33:02 +0000
Received: (at 56582) by debbugs.gnu.org; 16 Jul 2022 10:32:09 +0000
Received: from localhost ([127.0.0.1]:42990 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1oCf5k-0000GB-T0
	for submit <at> debbugs.gnu.org; Sat, 16 Jul 2022 06:32:09 -0400
Received: from lepiller.eu ([89.234.186.109]:44296)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <julien@HIDDEN>) id 1oCf5g-0000G0-Eo
 for 56582 <at> debbugs.gnu.org; Sat, 16 Jul 2022 06:32:06 -0400
Received: from lepiller.eu (localhost [127.0.0.1])
 by lepiller.eu (OpenSMTPD) with ESMTP id ee0356af;
 Sat, 16 Jul 2022 10:32:01 +0000 (UTC)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed; d=lepiller.eu; h=date:from
 :to:subject:in-reply-to:references:message-id:mime-version
 :content-type:content-transfer-encoding; s=dkim; bh=/t5QPjY62zEz
 JmqiR83IVUxj7YwchJLq/MHHB3cQBSc=; b=CwJZJXl5FXdRvjBtfOA0nkYnd5Jk
 IPylJnQAaLRYZKh5YS2vz1FTSrlKUO9DefVoh2drnxxwPpSuwsG0h+iVvF8LN5xV
 UDx36mkXSer5RRbl1/vpxVBg26NKBhCkosb0z7+IUMhDhZ1jCalx9d6HaDGPRJjT
 rMt2bt/hwC7WxAkA+qhLqURFaby26hWJ0XjIbeeq3AOLn6pHPePqVb0MTDGMLuiS
 saC7ZnxFlzHwfWFkwZAyem1s4rWB4WPDti6PQ4cAX4AW5MuzxDNZKY3+aK5rQ26B
 2KWMzsYc8j5gTLzTTWhzdpL5NRnw1PejpFA4f89EVoicqKGN9e7pidk5tA==
Received: by lepiller.eu (OpenSMTPD) with ESMTPSA id aba02ede
 (TLSv1.3:AEAD-AES256-GCM-SHA384:256:NO); 
 Sat, 16 Jul 2022 10:32:01 +0000 (UTC)
Date: Sat, 16 Jul 2022 12:31:18 +0200
From: Julien Lepiller <julien@HIDDEN>
User-Agent: K-9 Mail for Android
In-Reply-To: <877d4dz8ce.fsf@HIDDEN>
References: <CAHaGoVN8iea+ANVAne5JbuP+g75KpjHdMrXyesAmqxbBPGxFdw@HIDDEN>
 <93F87F3F-F349-4152-829D-328F4FB078D4@HIDDEN>
 <877d4dz8ce.fsf@HIDDEN>
Message-ID: <E903228D-E2CF-4682-86D7-B415E165F6BA@HIDDEN>
MIME-Version: 1.0
Content-Type: multipart/alternative;
 boundary=----OHL1DY38E9G0X4D0BGW6LF52U3V9U2
Content-Transfer-Encoding: 7bit
X-Spam-Score: 2.0 (++)
X-Spam-Report: Spam detection software, running on the system "debbugs.gnu.org",
 has NOT identified this incoming email as spam.  The original
 message has been attached to this so you can view it or label
 similar future email.  If you have any questions, see
 the administrator of that system for details.
 
 Content preview:  If anything, you also need to chainload to boot on haiku,
   which is free software. So no reason not to implement it. Le 16 juillet 2022
    11:59:29 GMT+02:00, Josselin Poiret <dev@HIDDEN> a =?UTF-8?Q?=C3=A9crit=C2=A0:?= >Hello
   both of you, > >Julien Lepiller <julien@HIDDEN> writes: >> Of course
   this is only a workaround I'm prop [...] 
 
 Content analysis details:   (2.0 points, 10.0 required)
 
  pts rule name              description
 ---- ---------------------- --------------------------------------------------
 -0.0 SPF_HELO_PASS          SPF: HELO matches SPF record
 -0.0 SPF_PASS               SPF: sender matches SPF record
  2.0 PDS_OTHER_BAD_TLD      Untrustworthy TLDs
                             [URI: jpoiret.xyz (xyz)]
  0.0 HTML_MESSAGE           BODY: HTML included in message
 -0.0 T_SCC_BODY_TEXT_LINE   No description available.
X-BeenThere: debbugs-submit <at> 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 <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: 1.0 (+)

------OHL1DY38E9G0X4D0BGW6LF52U3V9U2
Content-Type: text/plain;
 charset=utf-8
Content-Transfer-Encoding: quoted-printable

If anything, you also need to chainload to boot on haiku, which is free sof=
tware=2E So no reason not to implement it=2E

Le 16 juillet 2022 11:59:29 GMT+02:00, Josselin Poiret <dev@jpoiret=2Exyz>=
 a =C3=A9crit=C2=A0:
>Hello both of you,
>
>Julien Lepiller <julien@lepiller=2Eeu> writes:
>> Of course this is only a workaround I'm proposing, we should fix the in=
staller to detect other OSs=2E
>Just adding that we don't have any Guix bootloader entry field to
>chainload into another bootloader, needed for some non-free system :)
>this would need to be added as well=2E
>
>I personally don't mind, and use my UEFI boot menu instead if I want to
>boot into said non-free OS=2E
>
>Best,
>--=20
>Josselin Poiret

------OHL1DY38E9G0X4D0BGW6LF52U3V9U2
Content-Type: text/html;
 charset=utf-8
Content-Transfer-Encoding: quoted-printable

<html><head></head><body>If anything, you also need to chainload to boot on=
 haiku, which is free software=2E So no reason not to implement it=2E<br><b=
r><div class=3D"gmail_quote">Le 16 juillet 2022 11:59:29 GMT+02:00, Josseli=
n Poiret &lt;dev@jpoiret=2Exyz&gt; a =C3=A9crit=C2=A0:<blockquote class=3D"=
gmail_quote" style=3D"margin: 0pt 0pt 0pt 0=2E8ex; border-left: 1px solid r=
gb(204, 204, 204); padding-left: 1ex;">
<pre dir=3D"auto" class=3D"k9mail">Hello both of you,<br><br>Julien Lepill=
er &lt;julien@lepiller=2Eeu&gt; writes:<br><blockquote class=3D"gmail_quote=
" style=3D"margin: 0pt 0pt 1ex 0=2E8ex; border-left: 1px solid #729fcf; pad=
ding-left: 1ex;">Of course this is only a workaround I'm proposing, we shou=
ld fix the installer to detect other OSs=2E<br></blockquote>Just adding tha=
t we don't have any Guix bootloader entry field to<br>chainload into anothe=
r bootloader, needed for some non-free system :)<br>this would need to be a=
dded as well=2E<br><br>I personally don't mind, and use my UEFI boot menu i=
nstead if I want to<br>boot into said non-free OS=2E<br><br>Best,<br><div c=
lass=3D"k9mail-signature">-- <br>Josselin Poiret<br></div></pre></blockquot=
e></div></body></html>
------OHL1DY38E9G0X4D0BGW6LF52U3V9U2--

Last modified: Sat, 16 Jul 2022 10:45:01 UTC

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