diff options
| author | Rutherther <rutherther@ditigal.xyz> | 2025-12-01 19:39:53 +0100 |
|---|---|---|
| committer | Rutherther <rutherther@ditigal.xyz> | 2025-12-22 23:00:40 +0100 |
| commit | 08016049908b732c1b26922fe47bd3c2755100f6 (patch) | |
| tree | a863defbe965b678dfe905bc4055c35654385062 /gnu/build | |
| parent | 5623e6331342c232a6816073bae9e3d9928ac884 (diff) | |
gnu: make-iso9660-image: Do not compress any kernel, compress man pages.
Because the linux image is called differently based on the architectures,
see system-linu/-image-file-name from gnu/system.scm, the kernel image
on aarch64, mips and armhf has still been compressed. This means that
grub cannot boot.
Man pages have moved from gz to zst, so compress them as well.
* gnu/build/image.scm (make-iso9660-image): Do not compress Image, vmlinuz and
zImage; Compress all man pages.
Change-Id: I68b35f383c84ff231865d580aa9e79d9fd88ace1
Signed-off-by: Rutherther <rutherther@ditigal.xyz>
Diffstat (limited to 'gnu/build')
| -rw-r--r-- | gnu/build/image.scm | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/gnu/build/image.scm b/gnu/build/image.scm index d68fb29e05a..53c75839bab 100644 --- a/gnu/build/image.scm +++ b/gnu/build/image.scm @@ -428,7 +428,11 @@ GRUB configuration and OS-DRV as the stuff in it." "-not" "-wholename" "/System/*" "-not" "-name" "unicode.pf2" "-not" "-name" "bzImage" - "-not" "-name" "*.gz" ; initrd & all man pages + "-not" "-name" "zImage" + "-not" "-name" "Image" + "-not" "-name" "vmlinuz" + "-not" "-name" "*.gz" ; initrd + "-not" "-name" "*.zst" ; all man pages "-not" "-name" "*.png" ; includes grub-image.png "-exec" "set_filter" "--zisofs" "--") |