From mboxrd@z Thu Jan 1 00:00:00 1970 From: Graham Lee Subject: bug#35722: Filesystem error in the installer Date: Tue, 14 May 2019 18:37:38 +0100 Message-ID: References: <63bd426cd2764658e6c1b5379544d7993c8ddc4a.camel@iamleeg.com> <871s11yp5b.fsf@gnu.org> <20190514185008.768fcc9c@scratchpost.org> <20190514190053.275fed24@scratchpost.org> Mime-Version: 1.0 (Mac OS X Mail 12.4 \(3445.104.8\)) Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([209.51.188.92]:57293) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1hQbOW-00056m-M8 for bug-guix@gnu.org; Tue, 14 May 2019 13:39:17 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1hQbOO-0000Uz-Lg for bug-guix@gnu.org; Tue, 14 May 2019 13:39:12 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:36218) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1hQbOI-0000Lo-1R for bug-guix@gnu.org; Tue, 14 May 2019 13:39:04 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1hQbOH-0000Rn-PU for bug-guix@gnu.org; Tue, 14 May 2019 13:39:01 -0400 Sender: "Debbugs-submit" Resent-Message-ID: In-Reply-To: <20190514190053.275fed24@scratchpost.org> List-Id: Bug reports for GNU Guix List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org Sender: "bug-Guix" To: Danny Milosavljevic Cc: Mathieu Othacehe , 35722-done@debbugs.gnu.org Hi, > On 14 May 2019, at 18:00, Danny Milosavljevic = wrote: >=20 > Or just not let the user select "Format this partition" if we don't = know how to > format it. > Also not let the user specify a mount point if we don't know how to = mount it. 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=E2=80=99t either select to format the partition or try to mount = it. It was already there, I have no opinion on it except that if it = disappears my EFI probably breaks :). But this means that I=E2=80=99m = not sure the fixes you described above would have helped in my = situation. 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, = or I [or the guided partitioning system] would need to know to recreate = it as FAT32. I understand that there are firmwares out there (I don=E2=80=99t know = about mine) that won=E2=80=99t recognise small FAT partitions unless = they are FAT16. On the other hand, the UEFI specification seems to = expect the partition to be FAT32. So this is a case of different things = working in theory and in practice. Also in practice: mkfs.fat will make = small filesystems FAT16 by default, and some distros (notably, Fedora, = which is what my target machine currently runs) don=E2=80=99t tell it = otherwise. So even if the EFI partition is always FAT32 in theory, there = will be practical cases where it=E2=80=99s FAT16. Thanks again, Graham.=