GNU bug report logs - #35722
Installer does not handle FAT16 file systems

Previous Next

Full log

Message #29 received at 35722-done <at> debbugs.gnu.org (full text, mbox):

From: Danny Milosavljevic <dannym <at> scratchpost.org>
To: Graham Lee <graham <at> iamleeg.com>
Cc: Mathieu Othacehe <m.othacehe <at> gmail.com>, 35722-done <at> debbugs.gnu.org
Subject: Re: bug#35722: Filesystem error in the installer
Date: Tue, 14 May 2019 20:42:57 +0200

[Message part 1 (text/plain, inline)]

Hi Graham,

On Tue, 14 May 2019 18:37:38 +0100
Graham Lee <graham <at> iamleeg.com> wrote:

> Thanks Danny, I appreciate you pushing a fix. I will find out how to make an updated installer and try again :).

> Just to clear up, though, I was going through the guided partitioning, so didn’t either select to format the partition or try to mount it. 

Thanks, good to know.  So the bug was much worse and would basically have
prevented anyone that has this kind of EFI from using our guided partitioning.

>But this means that I’m not sure the fixes you described above would have helped in my situation.

It would have.

(I still think that it would be better not to do the silly
"parted file system type -> user file system type" dance in the first place
but maybe there is a good reason for it.  In any case, it should work now)

For the record (and for future problems like that), I went and implemented
everything we need for fat16:

* Creating
* Mounting
* Parted file system type -> user file system type conversion
* Showing that file system type in the GUI

When actually that would have been enough:

* Parted file system type -> user file system type conversion

>Also I would expect to install EFI-based GRUB so if I want to do that from the GUIX installer (and not, say, boot some other GNU/Linux installer to install GRUB), I would need to mount the FAT16 partition

Yes.

[Message part 2 (application/pgp-signature, inline)]

Previous Next

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