GNU bug report logs - #55406
GUIX Image API: wrong fs type and flag

Previous Next

Package: guix;

Reported by: Pavel Shlyak <shlyakpavel <at> gmail.com>

Date: Fri, 13 May 2022 23:01:03 UTC

Severity: normal

Merged with 55405

Done: Mathieu Othacehe <othacehe <at> gnu.org>

Bug is archived. No further changes may be made.

Full log


View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: Pavel Shlyak <shlyakpavel <at> gmail.com>
Subject: bug#55406: closed (Re: bug#55406: GUIX Image API: wrong fs type
 and flag)
Date: Mon, 23 May 2022 08:31:02 +0000
[Message part 1 (text/plain, inline)]
Your bug report

#55406: GUIX Image API: wrong fs type and flag

which was filed against the guix package, has been closed.

The explanation is attached below, along with your original report.
If you require more details, please reply to 55406 <at> debbugs.gnu.org.

-- 
55406: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=55406
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems
[Message part 2 (message/rfc822, inline)]
From: Mathieu Othacehe <othacehe <at> gnu.org>
To: Pavel Shlyak <p.shlyak <at> pantherx.org>
Cc: 55406-done <at> debbugs.gnu.org
Subject: Re: bug#55406: GUIX Image API: wrong fs type and flag
Date: Mon, 23 May 2022 10:30:23 +0200
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

[Message part 3 (message/rfc822, inline)]
From: Pavel Shlyak <shlyakpavel <at> gmail.com>
To: bug-guix <at> gnu.org
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)


This bug report was last modified 3 years and 3 days ago.

Previous Next


GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.