[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: 02/02: gnu: Add edit warning to generated grub.cfg files
|
From: |
John Darrington |
|
Subject: |
Re: 02/02: gnu: Add edit warning to generated grub.cfg files |
|
Date: |
Fri, 9 Sep 2016 05:23:08 +0200 |
|
User-agent: |
Mutt/1.5.23 (2014-03-12) |
As I recall it, in the discusion I was asked to do this.
Perhaps the discussion took place on irc - I don't recall.
J'
On Thu, Sep 08, 2016 at 09:44:19PM -0400, Leo Famulari wrote:
On Thu, Sep 08, 2016 at 04:08:48PM +0000, John Darrington wrote:
> jmd pushed a commit to branch master
> in repository guix.
>
> commit fdf14c64f1dc7526e84b7e0ce41bf99e5b31c3f8
> Author: John Darrington <address@hidden>
> Date: Thu Sep 8 14:56:14 2016 +0200
>
> gnu: Add edit warning to generated grub.cfg files
>
> * gnu/services/grub.scm (grub-configuration-file): Add code to emit
warning.
This seems like a useful change. But, was it discussed anywhere? I can't
find it in the mailing list archives.
--
Avoid eavesdropping. Send strong encrypted email.
PGP Public key ID: 1024D/2DE827B3
fingerprint = 8797 A26D 0854 2EAB 0285 A290 8A67 719C 2DE8 27B3
See http://sks-keyservers.net or any PGP keyserver for public key.
signature.asc
Description: Digital signature