From: "pelzflorian (Florian Pelz)" <pelzflorian@pelzflorian.de>
To: Alexander Asteroth <alexander.asteroth@h-brs.de>
Cc: "André A. Gomes" <andremegafone@gmail.com>, help-guix@gnu.org
Subject: Re: Best base system for Guix
Date: Thu, 11 Nov 2021 21:58:40 +0100 [thread overview]
Message-ID: <20211111205840.54cq2xnouskjcqq5@pelzflorian.localdomain> (raw)
In-Reply-To: <87bl2qmvbs.fsf@h-brs.de>
Hello Alexander.
On Thu, Nov 11, 2021 at 06:48:37PM +0100, Alexander Asteroth wrote:
> Ok, you all convinced me to give Guix a third try (yes I already gave up
> twice).
The name of the operating system distribution that can be installed
with the Guix package manager is Guix System.
> Today I installed guix on a seperate partition aside the
> Debian-11 install on the same HD. Everything went fine but for the
> bootloader.
This sounds like a bug. Does your computer boot with EFI?
When installing, do you configure a mount point such as /boot/efi for
your existing boot/EFI system partition?
> I thought maybe it's best to not install it and let
> os-prober on the Debian side discover the Guix system (which I mounted
> on /mnt). Unfortunately it seems not to recognize the Guix-Install
> (maybe because the kernel-image is hidden deep in the store?).
Yes, that is probably the reason.
> Vice
> versa I could add the Debian partition to the Guix config but if
> something goes wrong ... ?
However, if you boot from EFI, you maybe can use the EFI boot menu to
switch between Debian’s and Guix’s bootloader if both are installed.
This should be sufficient to dual boot. For extras:
If both are installed, it is even possible to configure Debian’s grub
bootloader to chainload Guix, although I no longer know the commands
for chainloading.
For the opposite, to boot Debian from Guix’ GRUB EFI bootloader, do
this: After installing Guix to boot Guix, I used to change my
/etc/config.scm like this:
(bootloader (bootloader-configuration
(bootloader grub-efi-bootloader)
(targets '("/boot/efi"))
(keyboard-layout keyboard-layout)
(menu-entries
(list (menu-entry
(label "Debian")
(linux "(hd1,gpt4)/boot/vmlinuz-4.19.0-6-amd64")
(linux-arguments '("\
root=UUID=387b3930-178a-4f35-b89c-e77a2c25e686"))
(initrd "(hd1,gpt4)/boot/initrd.img-4.19.0-6-amd64"))))))
The initrd and root settings I took from Debian’s GRUB bootloader
configuration.
Regards,
Florian
next prev parent reply other threads:[~2021-11-11 20:59 UTC|newest]
Thread overview: 11+ messages / expand[flat|nested] mbox.gz Atom feed top
2021-11-11 10:59 Best base system for Guix Alexander Asteroth
2021-11-11 11:45 ` Tobias Geerinckx-Rice
2021-11-11 12:16 ` Alexander Asteroth
2021-11-11 12:47 ` André A. Gomes
2021-11-11 17:48 ` Alexander Asteroth
2021-11-11 20:58 ` pelzflorian (Florian Pelz) [this message]
2021-11-12 15:16 ` Alexander Asteroth
2021-11-12 16:48 ` pelzflorian (Florian Pelz)
2021-11-12 18:21 ` Alexander Asteroth
2021-11-13 7:10 ` pelzflorian (Florian Pelz)
2021-11-15 16:19 ` zimoun
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
List information: https://guix.gnu.org/
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20211111205840.54cq2xnouskjcqq5@pelzflorian.localdomain \
--to=pelzflorian@pelzflorian.de \
--cc=alexander.asteroth@h-brs.de \
--cc=andremegafone@gmail.com \
--cc=help-guix@gnu.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).