--- Begin Message ---
Subject: |
GUIX Image API: wrong fs type and flag |
Date: |
Sat, 14 May 2022 00:46:57 +0300 |
I have a scheme code like
(define rpi-boot-partition
(partition
(size (* 128 (expt 2 20)))
(label "BOOT")
(file-system "vfat")
(flags '())
(initializer (gexp initialize-efi-partition))))
(define rpi-root-partition
(partition
(size 'guess)
(label "RASPIROOT")
(file-system "ext4")
(flags '(boot))
(initializer (gexp initialize-root-partition))))
(define raspberry-pi-image
(image
(format 'disk-image)
(partitions (list rpi-boot-partition rpi-root-partition))))
The output is like that:
$ fdisk -l
/gnu/store/hnsfs5a161f5hvymg7ar541qrml62yvv-raspberry-pi-barebones-raw-image
Device Boot Start End Sectors Size Id Type
/gnu/store/hnsfs5a161f5hvymg7ar541qrml62yvv-raspberry-pi-barebones-raw-image1 1
262144 262144 128M 83 Linux
/gnu/store/hnsfs5a161f5hvymg7ar541qrml62yvv-raspberry-pi-barebones-raw-image2
262145 3583688 3321544 1.6G 83 Linux
No boot flag is set on the first partition. The file system seems to be
incorrect (ext* instead of vfat)
--- End Message ---
--- Begin Message ---
Subject: |
Re: bug#55406: GUIX Image API: wrong fs type and flag |
Date: |
Mon, 23 May 2022 10:30:23 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/27.2 (gnu/linux) |
Hello Pavel,
> Ok, I tried to format them :)
Thanks, I added commit messages following our guidelines, fixed the
indentation and a few other small details.
Pushed on master!
Mathieu
--- End Message ---