Re: 01/01: scripts: system: Rename --no-grub option to --no-bootloader.

2017-04-18 Thread Mathieu Othacehe
Hi Ludo ! > Please make sure guix.texi is updated accordingly. Sorry for the ommission, please see : https://debbugs.gnu.org/cgi/bugreport.cgi?bug=26551 Mathieu

Re: 01/01: scripts: system: Rename --no-grub option to --no-bootloader.

2017-04-18 Thread Ludovic Courtès
Hello Mathieu & Danny, dan...@scratchpost.org (Danny Milosavljevic) skribis: > commit a9eadc06ac57846aaa8fdeb550b32e44f59c9437 > Author: Mathieu Othacehe > Date: Mon Apr 17 11:01:39 2017 +0200 > > scripts: system: Rename --no-grub option to --no-bootloader. > > * guix/scripts/syst