[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: 01/01: scripts: system: Rename --no-grub option to --no-bootloader.
|
From: |
Ludovic Courtès |
|
Subject: |
Re: 01/01: scripts: system: Rename --no-grub option to --no-bootloader. |
|
Date: |
Tue, 18 Apr 2017 10:13:34 +0200 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/25.1 (gnu/linux) |
Hello Mathieu & Danny,
address@hidden (Danny Milosavljevic) skribis:
> commit a9eadc06ac57846aaa8fdeb550b32e44f59c9437
> Author: Mathieu Othacehe <address@hidden>
> Date: Mon Apr 17 11:01:39 2017 +0200
>
> scripts: system: Rename --no-grub option to --no-bootloader.
>
> * guix/scripts/system.scm (%options, show-help): Adjust accordingly.
> Keep "--no-grub" for compatibility reasons, but do not mention it in the
> help.
>
> Signed-off-by: Danny Milosavljevic <address@hidden>
Please make sure guix.texi is updated accordingly.
Thanks,
Ludo’.
- Re: 01/01: scripts: system: Rename --no-grub option to --no-bootloader.,
Ludovic Courtès <=