[PATCH 2/2] install: Add only-platform-installation option.

Hello again, I've tested this patch on BIOS x86 (on a vm) and x86_64 EFI. Surely it does extra work, plenty of checks and string allocations are not needed at all, because it skips only calls that write files into grubdir or platdir (not macppcdir nor efidir). What do you think? Refactoring the

Granularity of grub-install (was Re: Reproducibility of grub-install)

Kiper wrote: > 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 director

[PATCH] install: Free allocated path for grub.efi.

Hi, This patch is a minor issue, but in terms of correctness I think this free is missing. Happy hacking, Miguel >From 1720e89de777fd3a30a6824797d97855b7bb8b68 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Miguel=20=C3=81ngel=20Arruga=20Vivas?= Date: Mon, 28 Oct 2019 10:08:25 +0100 Subject: [PATCH 1

Reproducible grub-install

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