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 <j...@gnu.org>
> 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
