Re: Reproducible grub-install

2019-10-23 Thread Daniel Kiper
On Mon, Oct 21, 2019 at 04:30:21PM +0200, Miguel Arruga Vivas wrote: > Hi, everybody! > > After taking a deeper look into our (guix's) grub installation > procedure, I have the thought that it could be a neat idea to make the > boot directory an actual derivation instead something of the global > s

Reproducible grub-install

2019-10-21 Thread Miguel Arruga Vivas
Hi, everybody! After taking a deeper look into our (guix's) grub installation procedure, I have the thought that it could be a neat idea to make the boot directory an actual derivation instead something of the global status. From what I currently understand: - boot.img/core.img and load.cfg: T