Re: Dualbooting with guixsd not handling grub installation

2018-02-06 Thread Oleg Pykhalov
l...@gnu.org (Ludovic Courtès) writes: > I think we should keep ‘menu-entry’ bootloader-independent. What does mean “independent”? Do you mean that it's working only for Grub now? I guess others bootloaders could have this if they need to generate a configuration file like

Re: Dualbooting with guixsd not handling grub installation

2018-02-05 Thread Ludovic Courtès
Hi, Oleg Pykhalov skribis: > l...@gnu.org (Ludovic Courtès) writes: > >> Oleg Pykhalov skribis: > > [...] > >>> Are linux linux-arguments initrd in menu-entry required? >> >> Currently yes: this is how you tell GRUB what to boot. > > I see an issue

Re: Dualbooting with guixsd not handling grub installation

2018-02-02 Thread Oleg Pykhalov
Hello Félicien, Thank you for the report! > "Félicien" == Félicien Pillot writes: > Le Thu, 01 Feb 2018 09:14:54 +0300, Oleg Pykhalov > a écrit : >> We could start by adding a way to add anything. Here is a patch. >> Probably ugly,

Re: Dualbooting with guixsd not handling grub installation

2018-02-01 Thread Félicien Pillot
Hi Oleg, Le Thu, 01 Feb 2018 09:14:54 +0300, Oleg Pykhalov a écrit : > We could start by adding a way to add anything. Here is a patch. > Probably ugly, but as a draft and idea about additional-options. > When I try your patch (to solve the dualboot problem I have too) I

Re: Dualbooting with guixsd not handling grub installation

2018-01-31 Thread Oleg Pykhalov
Hello Ludovic, l...@gnu.org (Ludovic Courtès) writes: > Oleg Pykhalov skribis: [...] >> Are linux linux-arguments initrd in menu-entry required? > > Currently yes: this is how you tell GRUB what to boot. I see an issue with it, because not always you want them. >> Maybe

Re: Dualbooting with guixsd not handling grub installation

2017-12-18 Thread Ludovic Courtès
Oleg Pykhalov skribis: > l...@gnu.org (Ludovic Courtès) writes: > >> Note that if all you want is dual-boot, this should already be possible >> by defining new menu entries in the GuixSD config: >> >> >>

Re: Dualbooting with guixsd not handling grub installation

2017-12-17 Thread Oleg Pykhalov
l...@gnu.org (Ludovic Courtès) writes: > Note that if all you want is dual-boot, this should already be possible > by defining new menu entries in the GuixSD config: > > > https://www.gnu.org/software/guix/manual/html_node/Bootloader-Configuration.html#index-dual-boot Are linux

Re: Dualbooting with guixsd not handling grub installation

2017-12-15 Thread Ludovic Courtès
Hello, Martin Castillo skribis: > I realised a third option for dualbooting: > menuentry "GuixSD - grub core.img loader" { > search --set root --label guix-root --hint hd0,gpt3 > multiboot /boot/grub/i386-pc/core.img > } Indeed, that should always work. Note that

Re: Dualbooting with guixsd not handling grub installation

2017-12-13 Thread Martin Castillo
Hi On 11.12.2017 10:39, Ludovic Courtès wrote: > Hello, > > Mathieu Othacehe skribis: > This could be done by adding a cli argument for reconfigure or allowing an empty string in (grub-configuration (target "")). WDYT? >> >> An already available

Re: Dualbooting with guixsd not handling grub installation

2017-12-11 Thread Ludovic Courtès
Hello, Mathieu Othacehe skribis: >>> This could be done by adding a cli argument for reconfigure or allowing >>> an empty string in (grub-configuration (target "")). >>> >>> WDYT? >>> > > An already available option would be to override the grub-installer like > this : > >

Re: Dualbooting with guixsd not handling grub installation

2017-12-10 Thread Mathieu Othacehe
Hi Martin and Jelle, >> This could be done by adding a cli argument for reconfigure or allowing >> an empty string in (grub-configuration (target "")). >> >> WDYT? >> An already available option would be to override the grub-installer like this : --8<---cut

Re: Dualbooting with guixsd not handling grub installation

2017-12-09 Thread Jelle Licht
2017-12-10 0:35 GMT+01:00 Martin Castillo : > Hi guixers, > > I want to dualboot into GuixSD. My main os is currently NixOS. > Currently, I don't want to let guixsd control my grub setup. So my > situation is similar to [1]. > > One solution is to use the unreliable