diff options
| author | Janneke Nieuwenhuizen <janneke@gnu.org> | 2024-10-24 21:22:39 +0200 |
|---|---|---|
| committer | Jan (janneke) Nieuwenhuizen <janneke@gnu.org> | 2024-11-11 07:28:33 +0100 |
| commit | fdb23d9db8ca5431e280366c5c834e01eda62a5f (patch) | |
| tree | c4dec4c967c8ba47f957304ff35d68ee66d438b7 /tests/keys/ed25519-2.pub | |
| parent | 046d6d9f8e5456d651cdc69b04dfae3af5230a98 (diff) | |
| download | guix-fdb23d9db8ca5431e280366c5c834e01eda62a5f.tar.gz guix-fdb23d9db8ca5431e280366c5c834e01eda62a5f.zip | |
bootloader: grub: Remove hardcoded partition number for the Hurd.
This supports using another than the default DISK0 PART1 and using LABEL or
UUID as root file-system specifier. It still defaults to DISK0 PART1 if
the file-system cannot be found, i.e., lives only at the build side: A
virtual machine/childhurd build.
* gnu/build/file-systems.scm (%hurd-device-spec-regexp, %device-spec-regexp):
New variables.
(device-name->hurd-device-name, hurd-device-name->device-name,
device-spec->device, device-spec->device-name): Use them in new procedures.
* gnu/bootloader/grub.scm (make-grub-configuration): Use them to remove
hardcoded partition number (root-index 1).
Change-Id: I49fa93dacc09883dfb4d695402c5eac2e0e17286
Diffstat (limited to 'tests/keys/ed25519-2.pub')
0 files changed, 0 insertions, 0 deletions