From mboxrd@z Thu Jan 1 00:00:00 1970 From: Danny Milosavljevic Subject: bug#27735: Unbootable images with GuixSD on... "GuixSD" Date: Mon, 17 Jul 2017 19:17:31 +0200 Message-ID: <20170717191731.2d3ad604@scratchpost.org> References: <327af9f3-fdfb-7916-f0ea-9aec0fae20f3@tobias.gr> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:37436) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1dX9eq-0000wV-Fi for bug-guix@gnu.org; Mon, 17 Jul 2017 13:18:09 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1dX9ek-0000p6-KU for bug-guix@gnu.org; Mon, 17 Jul 2017 13:18:08 -0400 Received: from debbugs.gnu.org ([208.118.235.43]:42063) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1dX9ek-0000oy-Gs for bug-guix@gnu.org; Mon, 17 Jul 2017 13:18:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1dX9ek-00070v-7s for bug-guix@gnu.org; Mon, 17 Jul 2017 13:18:02 -0400 Sender: "Debbugs-submit" Resent-Message-ID: In-Reply-To: <327af9f3-fdfb-7916-f0ea-9aec0fae20f3@tobias.gr> 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: Tobias Geerinckx-Rice Cc: 27735@debbugs.gnu.org Hi T G-R, On Mon, 17 Jul 2017 16:40:56 +0200 Tobias Geerinckx-Rice wrote: > The installer's now expects exactly one "GuixSD" partition when booting > =E2=80=94 at least on UEFI. If the GRUB finds two, the GRUB will randomly > choose. In my case, the GRUB chose a frozen system. Sorry! > The real problem here is that we're using a label as a UUID. I agree. Unfortunately Guix UUIDs are difficult to use consistently or I w= ould have changed it over to begin with. > (define root-label > ;; Volume name of the root file system. Since we don't know which > device > ;; will hold it, we use the volume name to find it (using the UUID wo= uld > ;; be even better, but somewhat less convenient.) > (normalize-label "GuixSD")) >=20 > I like that understatement. I'm not sure how to go about creating a > reproducible almost-UUID based on the store hash and passing it to all > the right places in a reasonably non-horrible manner either, random > hacker. And it would mean even more work and testing after all the > heroic effort on the new installer image + UEFI support by Danny, > Marius, and others. Yeah, having the UUID actually be derived from the store hash would be good. I think for now having a random UUID be generated would be fine too. > Until it does happen, I suggest we change the name to "GuixSD-image"[2]. > Still fragile, but not the PR fail that =E2=80=98don't call your GuixSD f= ile > system GuixSD or it will break GuixSD=E2=80=99 would be. I think for the time being that's a good workaround. But I think we should= get the UUIDs for booting working. > [1]: https://git.savannah.gnu.org/cgit/guix.git/commit/?id=3D651de2bdb5fd= 451c50933dcf8d647d470d826261 The actual reason I had to change it is because of the dashes (which are no= t valid in ECMA-6 IRV). > [2]: Or whatever.=20 "GuixSD_installer" ? Well anyway, just pick one, doesn't matter much which= , except that the characters have to be out of [A-Za-z0-9_] (will be upperc= ased for ISO-9660) because of ECMA-119 Appendix A (ECMA-6 IRV). >I remember someone (Danny?) calling "-image" an > implementation detail. I think it's a description of the end result. Yeah, that was me. I don't understand how an actual operating system on a = drive is an image. Maybe I'm old-fashioned, dunno, but I think an image is= something that is made up by light rays on a screen, not the real object. = In the case of computing an image is a backup file of a drive, not what is= on the drive to begin with. Also, even if it were an image, the image shouldn't say " image" in th= e image itself. A mirror which doesn't add anything to your image when you= look into it, either :)