bug#27735: Unbootable images with GuixSD on... "GuixSD"

2017-07-19 Thread Danny Milosavljevic
Hi Ludo, I think it's a good interim solution. On Tue, 18 Jul 2017 13:49:01 +0200 l...@gnu.org (Ludovic Courtès) wrote: > + (define root-uuid > +;; UUID of the root file system, computed in a deterministic fashion. > +(if (string=? "iso9660" file-system-type)

bug#27735: Unbootable images with GuixSD on... "GuixSD"

2017-07-18 Thread Tobias Geerinckx-Rice
Ludo', On 18/07/17 20:59, Ludovic Courtès wrote: >> Why not throw SIZE into this mix as well? > > Because it can be the symbol 'guess or a number, so that makes things > needlessly complicated IMO. Of course. Thanks for your patience. I got completely lost in the gexp/ungexps of expression->deri

bug#27735: Unbootable images with GuixSD on... "GuixSD"

2017-07-18 Thread Ludovic Courtès
Heya, Tobias Geerinckx-Rice skribis: > On 18/07/17 13:49, Ludovic Courtès wrote: >> What about generating a UUID in a deterministic yet somewhat unique >> fashion along these lines (untested): > > Not great, but I can't think of a better way. :-) Yup. >> + (define root-uuid >> +;; UUID of

bug#27735: Unbootable images with GuixSD on... "GuixSD"

2017-07-18 Thread Tobias Geerinckx-Rice
Ludo', On 18/07/17 13:49, Ludovic Courtès wrote: > What about generating a UUID in a deterministic yet somewhat unique > fashion along these lines (untested): Not great, but I can't think of a better way. :-) > + (define root-uuid > +;; UUID of the root file system, computed in a determinis

bug#27735: Unbootable images with GuixSD on... "GuixSD"

2017-07-18 Thread Ludovic Courtès
Hello, Danny Milosavljevic skribis: >> 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 > would have changed it over to begin with. What about generating a UUID in a deterministic yet somewhat unique fash

bug#27735: Unbootable images with GuixSD on... "GuixSD"

2017-07-17 Thread Tobias Geerinckx-Rice
Done with commit 0862b95433cacf91e44248097caa09119fc532a6. Kind regards, T G-R signature.asc Description: OpenPGP digital signature

bug#27735: Unbootable images with GuixSD on... "GuixSD"

2017-07-17 Thread Tobias Geerinckx-Rice
On 17/07/17 19:17, Danny Milosavljevic wrote:> Hi T G-R, > 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 c

bug#27735: Unbootable images with GuixSD on... "GuixSD"

2017-07-17 Thread Danny Milosavljevic
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 > — 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 proble

bug#27735: Unbootable images with GuixSD on... "GuixSD"

2017-07-17 Thread Tobias Geerinckx-Rice
Guix, [I lost most hours of sleep to this. I might ramble more than usual.] The default label for images was recently changed[1] to "GuixSD". While I think it's a fine label, that's also a problem: I've been using it for years for my root partitions. And when one broke last night, I couldn't use