Re: How to use custom grub?

2016-11-08 Thread Marius Bakke
Ludovic Courtès writes: > Marius Bakke skribis: > >> From 5e31312aeae87d63ab2c64e92835231b59c804db Mon Sep 17 00:00:00 2001 >> From: Marius Bakke >> Date: Mon, 7 Nov 2016 11:56:52 + >> Subject: [PATCH] system: Use grub from bootloader configuration. >> >> * gnu/system/grub.scm (gnu): Export

Re: How to use custom grub?

2016-11-08 Thread Ludovic Courtès
Marius Bakke skribis: > From 5e31312aeae87d63ab2c64e92835231b59c804db Mon Sep 17 00:00:00 2001 > From: Marius Bakke > Date: Mon, 7 Nov 2016 11:56:52 + > Subject: [PATCH] system: Use grub from bootloader configuration. > > * gnu/system/grub.scm (gnu): Export grub-configuration-grub. > * guix/

Re: How to use custom grub?

2016-11-07 Thread Danny Milosavljevic
Looks good to me! I also invoked make in the guix directory - which didn't print any new warnings -, reconfigured the system (for non-uefi grub) and successfully booted with it. So all good!

Re: How to use custom grub?

2016-11-07 Thread Marius Bakke
Danny Milosavljevic writes: > Hi Marius, > > On Mon, 07 Nov 2016 11:36:51 + > Marius Bakke wrote: > >> That's it! This makes it pick up (bootloader (grub-configuration (grub >> grub-efi))) from my config.scm: >> >> making '/gnu/store/kgk9rrawq9fxh1g2j6121gl3lcz47395-system' the current >>

Re: How to use custom grub?

2016-11-07 Thread Danny Milosavljevic
Hi Marius, On Mon, 07 Nov 2016 11:36:51 + Marius Bakke wrote: > That's it! This makes it pick up (bootloader (grub-configuration (grub > grub-efi))) from my config.scm: > > making '/gnu/store/kgk9rrawq9fxh1g2j6121gl3lcz47395-system' the current > system... > Installing for x86_64-efi platf

Re: How to use custom grub?

2016-11-07 Thread Marius Bakke
Danny Milosavljevic writes: >> Hmm, did you mean (package->drivation (grub-configuration-grub >> (operating-system-bootloader os))) ? Otherwise it can't work. > > Fixing typo: > > Hmm, did you mean (package->derivation (grub-configuration-grub > (operating-system-bootloader os))) ? Otherwise it

Re: How to use custom grub?

2016-11-07 Thread Danny Milosavljevic
> Hmm, did you mean (package->drivation (grub-configuration-grub > (operating-system-bootloader os))) ? Otherwise it can't work. Fixing typo: Hmm, did you mean (package->derivation (grub-configuration-grub (operating-system-bootloader os))) ? Otherwise it can't work. It gives you a derivation

Re: How to use custom grub?

2016-11-05 Thread Danny Milosavljevic
Hi Marius, On Sat, 05 Nov 2016 12:37:07 + Marius Bakke wrote: > I haven't gotten around to really try Dannys patch, but here is the > backtrace when exporting grub-configuration-grub in gnu/system/grub.scm > and changing to (package->derivation grub-configuration-grub) in > guix/scripts/syste

Re: How to use custom grub?

2016-11-05 Thread Marius Bakke
Ludovic Courtès writes: >> Looking at guix/scripts/system.scm, grub is defined as >> (package->derivation grub). I tried exporting grub-configuration-grub >> and using that in the (package->derivation) procedure, but that broke >> the world :) >> >> What is the correct approach here? > > What you

Re: How to use custom grub?

2016-11-04 Thread Ludovic Courtès
Hello! Marius Bakke skribis: > I have a working UEFI GuixSD system, by adding FAT32 support to > base-initrd and installing the initial UEFI bootloader from a non-Guix > live CD. Cool! We should integrate the necessary changes in ‘master’. > The "grub-configuration" object takes a 'grub' argu

Re: How to use custom grub?

2016-11-03 Thread Marius Bakke
Danny Milosavljevic writes: > Hi Marius, > > yeah, I've noticed that problem, too. > > David and I got some steps in the direction of fixing it (for U-Boot support): > > The U-Boot support patch generalized this, see my E-Mail to this list, > subject "[WIP PATCH] gnu: add U-Boot support to opera

Re: How to use custom grub?

2016-11-03 Thread Marius Bakke
Danny Milosavljevic writes: > Hi Marius, > > yeah, I've noticed that problem, too. > > David and I got some steps in the direction of fixing it (for U-Boot support): > > The U-Boot support patch generalized this, see my E-Mail to this list, > subject "[WIP PATCH] gnu: add U-Boot support to opera

Re: How to use custom grub?

2016-11-03 Thread Danny Milosavljevic
Hi Marius, yeah, I've noticed that problem, too. David and I got some steps in the direction of fixing it (for U-Boot support): The U-Boot support patch generalized this, see my E-Mail to this list, subject "[WIP PATCH] gnu: add U-Boot support to operating-system" on 09 Sep 2016 at 20:09. The

How to use custom grub?

2016-11-03 Thread Marius Bakke
Greetings Guix, I have a working UEFI GuixSD system, by adding FAT32 support to base-initrd and installing the initial UEFI bootloader from a non-Guix live CD. Now that it's booted, I want to use a custom 'grub-efi' package so that `guix system reconfigure` works without passing --no-grub and man