unofficial mirror of help-guix@gnu.org 
 help / color / mirror / Atom feed
* Devuan replaced grub and runs before Guix
@ 2021-12-26 23:32 Youni Git
  2021-12-29  0:11 ` raingloom
  0 siblings, 1 reply; 5+ messages in thread
From: Youni Git @ 2021-12-26 23:32 UTC (permalink / raw)
  To: help-guix

Hello, dear developers! Merry Christmas and Happy New year!I would like to ask questions I did not dug in the web, I hope there are short answers.I had Guix OS installed on /dev/sda and i had grub bootloader there configured to run guix and devuan from another sdd, my config:https://gitgud.io/youni/guix-configs/-/blob/master/config-wpa2-wlp5-wf-blacklist--my-desktop-services--isp.conf#L91Everything worked fine, i could boot to Guix or choose Devuan from the grub menu controlled by Guix.But i made Devuan 3 to Devuan 4 upgrades. And Devuan replaced grub and now i have no guix in the menu.I think i can add Guix to devuan grub menu, but I'm not sure I can find /vmlinuz and /initrd files in the Guix partitions.I have 3 questions:1. How to boot Guix manually from grub command line?2. How can I add Guix OS to devuan grub menu, which files i need to use for linux image and initrd, where to find them on Guix?3. Can I easy replace back grub by Guix making guix controls grub again?Thank you.

^ permalink raw reply	[flat|nested] 5+ messages in thread

* Re: Devuan replaced grub and runs before Guix
  2021-12-26 23:32 Devuan replaced grub and runs before Guix Youni Git
@ 2021-12-29  0:11 ` raingloom
  2022-01-09 12:54   ` Youni Git
  0 siblings, 1 reply; 5+ messages in thread
From: raingloom @ 2021-12-29  0:11 UTC (permalink / raw)
  To: Youni Git; +Cc: help-guix

On Mon, 27 Dec 2021 00:32:18 +0100
Youni Git <git@youni.world> wrote:

> Hello, dear developers! Merry Christmas and Happy New year!I would
> like to ask questions I did not dug in the web, I hope there are
> short answers.I had Guix OS installed on /dev/sda and i had grub
> bootloader there configured to run guix and devuan from another sdd,
> my
> config:https://gitgud.io/youni/guix-configs/-/blob/master/config-wpa2-wlp5-wf-blacklist--my-desktop-services--isp.conf#L91Everything
> worked fine, i could boot to Guix or choose Devuan from the grub menu
> controlled by Guix.But i made Devuan 3 to Devuan 4 upgrades. And
> Devuan replaced grub and now i have no guix in the menu.I think i can
> add Guix to devuan grub menu, but I'm not sure I can find /vmlinuz
> and /initrd files in the Guix partitions.I have 3 questions:1. How to
> boot Guix manually from grub command line?2. How can I add Guix OS to
> devuan grub menu, which files i need to use for linux image and
> initrd, where to find them on Guix?3. Can I easy replace back grub by
> Guix making guix controls grub again?Thank you.

Oh heck, I used to manually kexec Guix, but it was on a different drive
with its own GRUB install.
/run/current-system seems to point to store entries ending in -system.
So to find the store item:
find /gnu/store -maxdepth 1 -name '*-system'
Within the store item:
kernel/bzImage: this is the kernel image to boot.
initrd: this is the initramfs

That should be enough info to build a GRUB menu entry. There are
some other options like modprobe.blacklist but I'm not sure where
they are in the store.

Oh there is also the init binary. Uh. Not sure where that is.

But I think this is a good enough starting point, hopefully you can
figure out the rest.

Alternatively, maybe try chrooting into the Guix partition and running
reconfigure again?

In any case, good luck!


^ permalink raw reply	[flat|nested] 5+ messages in thread

* Re: Devuan replaced grub and runs before Guix
  2021-12-29  0:11 ` raingloom
@ 2022-01-09 12:54   ` Youni Git
  2022-01-09 16:05     ` Youni Git
  0 siblings, 1 reply; 5+ messages in thread
From: Youni Git @ 2022-01-09 12:54 UTC (permalink / raw)
  To: raingloom; +Cc: help-guix

I had this Guix grub entry in Guix OS:

https://ibb.co/Btq1pV7

I created this grub menu entry in devuan:
https://ibb.co/WH7hggw

vim /etc/grub.d/40_custom

menuentry "Guix" {
  search --set=root --fs-uuid 24c6dcca-d831-4f0a-ad59-efa1035be093
  search --file --set /gnu/store/y0dz7jdw78q3kgcjc8xy8zncxyl31k5p-linux-libre-5.13.13/bzImage
  linux /gnu/store/y0dz7jdw78q3kgcjc8xy8zncxyl31k5p-linux-libre-5.13.13/bzImage --root=/dev/sda2 --system=var/guixprofiles/system-33-link --load=/var/guix/profiles/system-33-link/boot modprobe.blacklist=pcspkr,snd_pcsp,bluetooth,btusb,ath3k
  initrd /gnu/store/ccvhwm8h7h5xijab6gi65bjirz3nyxbv-raw-initrd/initrd.cpio.gz
}

update-grub





But I got Guix OS stops on here:
https://ibb.co/JRZmCFK



I found kernel, initrd and parameters like you advised. But actually hash differs from that guix is using in parameters.

And I don't know why it does not boot stopping on usb-bluetooth mouse detection. I also tried to remove modprobe.blacklist and boot but also Guix stops on mouse detection. I just added 'search --set=root' line is that a reason? May be I need to use --root UUID instead of /dev/sda2 ?



find /gnu/store -maxdepth 1 -name '*-system'

...many entries ...-guix-system

/gnu/store/vxzzh5rz9isqfx5krn3iq5ygzxbafbdi-system



ls /gnu/store/vxzzh5rz9isqfx5krn3iq5ygzxbafbdi-system
activate  boot  channels.scm  configuration.scm  etc  initrd  kernel  locale  parameters  profile  provenance


root@antelope ~# ls -l /gnu/store/vxzzh5rz9isqfx5krn3iq5ygzxbafbdi-system/kernel
lrwxrwxrwx 2 root root 51 Jan  1  1970 /gnu/store/vxzzh5rz9isqfx5krn3iq5ygzxbafbdi-system/kernel -> /gnu/store/b64c0c8hw526b5742w75xii0ny0i4009-profile




root@antelope ~# ls -l /gnu/store/b64c0c8hw526b5742w75xii0ny0i4009-profile/bzImage 
lrwxrwxrwx 2 root root 73 Jan  1  1970 /gnu/store/b64c0c8hw526b5742w75xii0ny0i4009-profile/bzImage -> /gnu/store/8xfrsfgdbfs1hyr49apzgmg66ggc5khf-linux-module-database/bzImage


root@antelope ~# ls -l /gnu/store/vxzzh5rz9isqfx5krn3iq5ygzxbafbdi-system/initrd 
lrwxrwxrwx 2 root root 69 Jan  1  1970 /gnu/store/vxzzh5rz9isqfx5krn3iq5ygzxbafbdi-system/initrd -> /gnu/store/ccvhwm8h7h5xijab6gi65bjirz3nyxbv-raw-initrd/initrd.cpio.gz


root@antelope ~# cat /gnu/store/87vv0rknchgwghm3j2bqqpk2rqv2lxqx-parameters
(boot-parameters (version 0) (label "GNU with Linux-Libre 5.13.13") (root-device "/dev/sda2") (kernel "/gnu/store/y0dz7jdw78q3kgcjc8xy8zncxyl31k5p-linux-libre-5.13.13/bzImage") (kernel-arguments ("modprobe.blacklist=pcspkr,snd_pcsp,bluetooth,btusb,ath3k")) (initrd "/gnu/store/ccvhwm8h7h5xijab6gi65bjirz3nyxbv-raw-initrd/initrd.cpio.gz") (bootloader-name grub-efi) (bootloader-menu-entries ((menu-entry (version 0) (label "Devuan") (device #f) (device-mount-point #f) (linux "(hd1,gpt2)/vmlinuz") (linux-arguments ("root=/dev/sdb2")) (initrd "(hd1,gpt2)/initrd.img")))) (locale "en_US.utf8") (store (device #f) (mount-point "/") (directory-prefix #f) (crypto-devices ())))root@antelope ~# 







---- On Wed, 29 Dec 2021 01:11:37 +0100 raingloom <raingloom@riseup.net> wrote ----



On Mon, 27 Dec 2021 00:32:18 +0100 
Youni Git <mailto:git@youni.world> wrote: 
 
> Hello, dear developers! Merry Christmas and Happy New year!I would 
> like to ask questions I did not dug in the web, I hope there are 
> short answers.I had Guix OS installed on /dev/sda and i had grub 
> bootloader there configured to run guix and devuan from another sdd, 
> my 
> config:https://gitgud.io/youni/guix-configs/-/blob/master/config-wpa2-wlp5-wf-blacklist--my-desktop-services--isp.conf#L91Everything 
> worked fine, i could boot to Guix or choose Devuan from the grub menu 
> controlled by Guix.But i made Devuan 3 to Devuan 4 upgrades. And 
> Devuan replaced grub and now i have no guix in the menu.I think i can 
> add Guix to devuan grub menu, but I'm not sure I can find /vmlinuz 
> and /initrd files in the Guix partitions.I have 3 questions:1. How to 
> boot Guix manually from grub command line?2. How can I add Guix OS to 
> devuan grub menu, which files i need to use for linux image and 
> initrd, where to find them on Guix?3. Can I easy replace back grub by 
> Guix making guix controls grub again?Thank you. 
 
Oh heck, I used to manually kexec Guix, but it was on a different drive 
with its own GRUB install. 
/run/current-system seems to point to store entries ending in -system. 
So to find the store item: 
find /gnu/store -maxdepth 1 -name '*-system' 
Within the store item: 
kernel/bzImage: this is the kernel image to boot. 
initrd: this is the initramfs 
 
That should be enough info to build a GRUB menu entry. There are 
some other options like modprobe.blacklist but I'm not sure where 
they are in the store. 
 
Oh there is also the init binary. Uh. Not sure where that is. 
 
But I think this is a good enough starting point, hopefully you can 
figure out the rest. 
 
Alternatively, maybe try chrooting into the Guix partition and running 
reconfigure again? 
 
In any case, good luck!

^ permalink raw reply	[flat|nested] 5+ messages in thread

* Re: Devuan replaced grub and runs before Guix
  2022-01-09 12:54   ` Youni Git
@ 2022-01-09 16:05     ` Youni Git
  2022-01-09 20:27       ` Vagrant Cascadian
  0 siblings, 1 reply; 5+ messages in thread
From: Youni Git @ 2022-01-09 16:05 UTC (permalink / raw)
  To: raingloom; +Cc: help-guix

Some clever developer from debian said me the easiest way.

1. I just enter grub command line while grub generated by Devuan appeared (with button 'c')

2. found grub.cfg on guix disk here:

ls (hd0,gpt2)/boot/grub/grub.cfg

3. And used it to run grub with this menu config file like this:

configfile (hd0,gpt2)/boot/grub/grub.cfg

4. Guix grub menu showed with its backgrund. And I booted to Guix OS

5. Then I just copied Guix menuentry from that grub.cfg file to my Devuan grub:

# vim /etc/grub.d/40_custom:



menuentry "GNU with Linux-Libre 5.13.13 (#33, 2021-09-04 17:57)" {
  search --file --set /gnu/store/y0dz7jdw78q3kgcjc8xy8zncxyl31k5p-linux-libre-5.13.13/bzImage
  linux /gnu/store/y0dz7jdw78q3kgcjc8xy8zncxyl31k5p-linux-libre-5.13.13/bzImage --root=/dev/sda2 --system=/var/guix/profiles/system-33-link --load=/var/guix/profiles/system-33-link/boot modprobe.blacklist=pcspkr,snd_pcsp,bluetooth,btusb,ath3k
  initrd /gnu/store/ccvhwm8h7h5xijab6gi65bjirz3nyxbv-raw-initrd/initrd.cpio.gz
}



# update-grub2



And now I sure boot to Guix from Devuan's grub menu entry. This is the easiest and may be reliable way. Just need to update grub menu entry when generate new system with 'guix system reconfigure config.scm'.

Nice!



---- On Sun, 09 Jan 2022 12:54:15 +0000 Youni Git <git@youni.world> wrote ----





I had this Guix grub entry in Guix OS:

https://ibb.co/Btq1pV7

I created this grub menu entry in devuan:
https://ibb.co/WH7hggw

vim /etc/grub.d/40_custom

menuentry "Guix" {
  search --set=root --fs-uuid 24c6dcca-d831-4f0a-ad59-efa1035be093
  search --file --set /gnu/store/y0dz7jdw78q3kgcjc8xy8zncxyl31k5p-linux-libre-5.13.13/bzImage
  linux /gnu/store/y0dz7jdw78q3kgcjc8xy8zncxyl31k5p-linux-libre-5.13.13/bzImage --root=/dev/sda2 --system=var/guixprofiles/system-33-link --load=/var/guix/profiles/system-33-link/boot modprobe.blacklist=pcspkr,snd_pcsp,bluetooth,btusb,ath3k
  initrd /gnu/store/ccvhwm8h7h5xijab6gi65bjirz3nyxbv-raw-initrd/initrd.cpio.gz
}

update-grub





But I got Guix OS stops on here:
https://ibb.co/JRZmCFK



I found kernel, initrd and parameters like you advised. But actually hash differs from that guix is using in parameters.

And I don't know why it does not boot stopping on usb-bluetooth mouse detection. I also tried to remove modprobe.blacklist and boot but also Guix stops on mouse detection. I just added 'search --set=root' line is that a reason? May be I need to use --root UUID instead of /dev/sda2 ?



find /gnu/store -maxdepth 1 -name '*-system'

...many entries ...-guix-system

/gnu/store/vxzzh5rz9isqfx5krn3iq5ygzxbafbdi-system



ls /gnu/store/vxzzh5rz9isqfx5krn3iq5ygzxbafbdi-system
activate  boot  channels.scm  configuration.scm  etc  initrd  kernel  locale  parameters  profile  provenance


root@antelope ~# ls -l /gnu/store/vxzzh5rz9isqfx5krn3iq5ygzxbafbdi-system/kernel
lrwxrwxrwx 2 root root 51 Jan  1  1970 /gnu/store/vxzzh5rz9isqfx5krn3iq5ygzxbafbdi-system/kernel -> /gnu/store/b64c0c8hw526b5742w75xii0ny0i4009-profile




root@antelope ~# ls -l /gnu/store/b64c0c8hw526b5742w75xii0ny0i4009-profile/bzImage 
lrwxrwxrwx 2 root root 73 Jan  1  1970 /gnu/store/b64c0c8hw526b5742w75xii0ny0i4009-profile/bzImage -> /gnu/store/8xfrsfgdbfs1hyr49apzgmg66ggc5khf-linux-module-database/bzImage


root@antelope ~# ls -l /gnu/store/vxzzh5rz9isqfx5krn3iq5ygzxbafbdi-system/initrd 
lrwxrwxrwx 2 root root 69 Jan  1  1970 /gnu/store/vxzzh5rz9isqfx5krn3iq5ygzxbafbdi-system/initrd -> /gnu/store/ccvhwm8h7h5xijab6gi65bjirz3nyxbv-raw-initrd/initrd.cpio.gz


root@antelope ~# cat /gnu/store/87vv0rknchgwghm3j2bqqpk2rqv2lxqx-parameters
(boot-parameters (version 0) (label "GNU with Linux-Libre 5.13.13") (root-device "/dev/sda2") (kernel "/gnu/store/y0dz7jdw78q3kgcjc8xy8zncxyl31k5p-linux-libre-5.13.13/bzImage") (kernel-arguments ("modprobe.blacklist=pcspkr,snd_pcsp,bluetooth,btusb,ath3k")) (initrd "/gnu/store/ccvhwm8h7h5xijab6gi65bjirz3nyxbv-raw-initrd/initrd.cpio.gz") (bootloader-name grub-efi) (bootloader-menu-entries ((menu-entry (version 0) (label "Devuan") (device #f) (device-mount-point #f) (linux "(hd1,gpt2)/vmlinuz") (linux-arguments ("root=/dev/sdb2")) (initrd "(hd1,gpt2)/initrd.img")))) (locale "en_US.utf8") (store (device #f) (mount-point "/") (directory-prefix #f) (crypto-devices ())))root@antelope ~# 







---- On Wed, 29 Dec 2021 01:11:37 +0100 raingloom <mailto:raingloom@riseup.net> wrote ----



On Mon, 27 Dec 2021 00:32:18 +0100 
Youni Git <mailto:git@youni.world> wrote: 
 
> Hello, dear developers! Merry Christmas and Happy New year!I would 
> like to ask questions I did not dug in the web, I hope there are 
> short answers.I had Guix OS installed on /dev/sda and i had grub 
> bootloader there configured to run guix and devuan from another sdd, 
> my 
> config:https://gitgud.io/youni/guix-configs/-/blob/master/config-wpa2-wlp5-wf-blacklist--my-desktop-services--isp.conf#L91Everything 
> worked fine, i could boot to Guix or choose Devuan from the grub menu 
> controlled by Guix.But i made Devuan 3 to Devuan 4 upgrades. And 
> Devuan replaced grub and now i have no guix in the menu.I think i can 
> add Guix to devuan grub menu, but I'm not sure I can find /vmlinuz 
> and /initrd files in the Guix partitions.I have 3 questions:1. How to 
> boot Guix manually from grub command line?2. How can I add Guix OS to 
> devuan grub menu, which files i need to use for linux image and 
> initrd, where to find them on Guix?3. Can I easy replace back grub by 
> Guix making guix controls grub again?Thank you. 
 
Oh heck, I used to manually kexec Guix, but it was on a different drive 
with its own GRUB install. 
/run/current-system seems to point to store entries ending in -system. 
So to find the store item: 
find /gnu/store -maxdepth 1 -name '*-system' 
Within the store item: 
kernel/bzImage: this is the kernel image to boot. 
initrd: this is the initramfs 
 
That should be enough info to build a GRUB menu entry. There are 
some other options like modprobe.blacklist but I'm not sure where 
they are in the store. 
 
Oh there is also the init binary. Uh. Not sure where that is. 
 
But I think this is a good enough starting point, hopefully you can 
figure out the rest. 
 
Alternatively, maybe try chrooting into the Guix partition and running 
reconfigure again? 
 
In any case, good luck!

^ permalink raw reply	[flat|nested] 5+ messages in thread

* Re: Devuan replaced grub and runs before Guix
  2022-01-09 16:05     ` Youni Git
@ 2022-01-09 20:27       ` Vagrant Cascadian
  0 siblings, 0 replies; 5+ messages in thread
From: Vagrant Cascadian @ 2022-01-09 20:27 UTC (permalink / raw)
  To: Youni Git, raingloom; +Cc: help-guix

[-- Attachment #1: Type: text/plain, Size: 1825 bytes --]

On 2022-01-09, Youni Git wrote:
> 1. I just enter grub command line while grub generated by Devuan appeared (with button 'c')
>
> 2. found grub.cfg on guix disk here:
>
> ls (hd0,gpt2)/boot/grub/grub.cfg
>
> 3. And used it to run grub with this menu config file like this:
>
> configfile (hd0,gpt2)/boot/grub/grub.cfg
>
> 4. Guix grub menu showed with its backgrund. And I booted to Guix OS
>
> 5. Then I just copied Guix menuentry from that grub.cfg file to my Devuan grub:
>
> # vim /etc/grub.d/40_custom:
>
>
>
> menuentry "GNU with Linux-Libre 5.13.13 (#33, 2021-09-04 17:57)" {
>   search --file --set /gnu/store/y0dz7jdw78q3kgcjc8xy8zncxyl31k5p-linux-libre-5.13.13/bzImage
>   linux /gnu/store/y0dz7jdw78q3kgcjc8xy8zncxyl31k5p-linux-libre-5.13.13/bzImage --root=/dev/sda2 --system=/var/guix/profiles/system-33-link --load=/var/guix/profiles/system-33-link/boot modprobe.blacklist=pcspkr,snd_pcsp,bluetooth,btusb,ath3k
>   initrd /gnu/store/ccvhwm8h7h5xijab6gi65bjirz3nyxbv-raw-initrd/initrd.cpio.gz
> }

Glad it worked out for you!


You could also create a menu entry something like:

menuentry "load guix grub configuration" {
  configfile (hd0,gpt2)/boot/grub/grub.cfg
}

This way, you don't have to update the grub menu every time you update
guix's configuration... or even worse, if you delete the generation that
happened to be hard-coded in your grub.cfg. You can maybe add a similar
entry in guix's grub menu to boot Devuan from guix's grub menu too.


You might want to get fancy and use the "search" command rather than
hard-coding "(hd0,gpt2)" though I'm not sure exactly how to pull that
off, since grub.cfg isn't a unique filename. Maybe using uuid or
partuuid or something like that.

Of course, feel free to experiment, or not!


live well,
  vagrant

[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 227 bytes --]

^ permalink raw reply	[flat|nested] 5+ messages in thread

end of thread, other threads:[~2022-01-09 20:29 UTC | newest]

Thread overview: 5+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2021-12-26 23:32 Devuan replaced grub and runs before Guix Youni Git
2021-12-29  0:11 ` raingloom
2022-01-09 12:54   ` Youni Git
2022-01-09 16:05     ` Youni Git
2022-01-09 20:27       ` Vagrant Cascadian

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).