[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#28377: [PATCH 09/10] vm: Allow users to specify a UUID for the root
From: |
Ludovic Courtès |
Subject: |
bug#28377: [PATCH 09/10] vm: Allow users to specify a UUID for the root partition. |
Date: |
Mon, 11 Sep 2017 22:53:04 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/25.2 (gnu/linux) |
Danny Milosavljevic <address@hidden> skribis:
> On Thu, 7 Sep 2017 00:17:55 +0200
> Ludovic Courtès <address@hidden> wrote:
>
>> +partition; likewise FILE-SYSTEM-UUID, if true, is the UUID of the root
>
> ^^^ ?? ^^^^^^ which is it?
>
> Probably meant "not #f".
Yes. In Scheme only #f is false; any other value is true.
I’ve replaced “is the UUID…” by “specifies the UUID…”, which is
hopefully clearer.
I’ve now pushed the whole series. Thanks for reviewing!
Ludo’.
- [bug#28377] [PATCH 00/10] Allow users to specify the UUID of disk images, Ludovic Courtès, 2017/09/06
- [bug#28377] [PATCH 06/10] system: Introduce a disjoint UUID type., Ludovic Courtès, 2017/09/06
- [bug#28377] [PATCH 04/10] file-systems: Introduce (gnu system uuid)., Ludovic Courtès, 2017/09/06
- [bug#28377] [PATCH 03/10] services: base: Import the closure of (gnu build file-systems)., Ludovic Courtès, 2017/09/06
- [bug#28377] [PATCH 05/10] services: file-system: Use 'file-system->spec'., Ludovic Courtès, 2017/09/06
- [bug#28377] [PATCH 10/10] vm: Generate a UUID to identify the root file system., Ludovic Courtès, 2017/09/06