Re: Supergrub2disk helped me to have the choice at startup

[hub . lombard]

Hello Maxim :)

 Thank you for your answer, maybe I will make a test like :


;; Operating system configuration for a full
;; "desktop" environment with gnome and
;; gnome-shell

(use-modules (gnu) (gnu system nss))
(use-service-modules desktop networking ssh)
(use-package-modules certs gnome screen ssh)

(menu-entries                                         ;To obtain the relevant 
informations about
  (list                                               ;label, linux, 
linux-arguments and initrd
    (menu-entry                                       ;I had a look to the 
grub.cfg's Debian.
    (label "Debian GNU/Linux")                        ;What about the '/old' 
reposiory?
    (linux "/boot/old/vmlinuz-4.19.0-1-amd64")        ;Like the exemple given 
by Joshua and Maxim,
    (linux-arguments '("root=/dev/sda1"))             ;I think to put it in the 
same place.
    (initrd "/boot/old/initrd.img-4.19.0-1-amd64")))  ;Not tested yet

(operating-system
  (host-name "gnu")
  (timezone "Europe/Paris")
  (locale "en_US.utf8")

;; Assuming /dev/sda is the target hard disk, and "my-root" is
;; the label of the target root file system, and /dev/sda6 the
;; target partition for the GuixSD's installation.
(bootloader (grub-configuration (target "/dev/sda")))
(file-systems (cons (file-system
                      (device "my-root")
                      (title 'label)
                      (mount-point "/")
                      (type "ext4"))
                    %base-file-systems))


----- Mail original -----
De: "Maxim Cournoyer" <address@hidden>
À: "hub lombard" <address@hidden>
Cc: "Help Guix" <address@hidden>
Envoyé: Samedi 19 Janvier 2019 17:53:16
Objet: Re: Supergrub2disk helped me to have the choice at startup

Hello Hubert!

address@hidden writes:

> Hi Guix :)
>
> A few days ago, I managed to install GuixSD 0.16 next to debian testing on a 
> Packard Bell 'EasyNote TE' laptop.
> At reboot, Grub only offers GuixSD.
> To have the choice at startup, I used the 'supergrub2disk' that I downloaded 
> and put on a USB key, positioned as the first boot device.
> SuperGRUB2disk gives me the choice between GuixSD and debian, and I can start 
> either one without any problem.
>
> For now, I keep the USB key inserted in the computer and everything is fine, 
> having nevertheless planned to address the problem of the restoration of 
> GRUB. 
>
> Would someone have a track that would enlighten me a bit?

In GuixSD, the way to handle dual (or more) boot is to define a list of
menu-entries for the bootloader configuration in your OS config. It's
documented here:
https://www.gnu.org/software/guix/manual/en/html_node/Bootloader-Configuration.html.

For an actual example, this post might give you some idea:
https://lists.gnu.org/archive/html/help-guix/2017-04/msg00045.html.

Good luck!

Maxim