GNU bug report logs - #28377
[PATCH 00/10] Allow users to specify the UUID of disk images

Previous Next

Package: guix-patches;

Reported by: Ludovic Courtès <ludo <at> gnu.org>

Date: Wed, 6 Sep 2017 21:53:01 UTC

Severity: normal

Tags: patch

Done: ludo <at> gnu.org (Ludovic Courtès)

Bug is archived. No further changes may be made.

Full log

View this message in rfc822 format

From: Danny Milosavljevic <dannym <at> scratchpost.org>
To: Ludovic Courtès <ludo <at> gnu.org>
Cc: Tobias Geerinckx-Rice <me <at> tobias.gr>, 28377 <at> debbugs.gnu.org
Subject: [bug#28377] [PATCH 09/10] vm: Allow users to specify a UUID for the root partition.
Date: Mon, 11 Sep 2017 18:10:45 +0200

On Thu,  7 Sep 2017 00:17:55 +0200
Ludovic Courtès <ludo <at> gnu.org> wrote:

> +partition; likewise FILE-SYSTEM-UUID, if true, is the UUID of the root

                                            ^^^ ??      ^^^^^^ which is it? 

Probably meant "not #f".

Otherwise LGTM!
This bug report was last modified 7 years and 258 days ago.

Previous Next

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