From mboxrd@z Thu Jan 1 00:00:00 1970 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 Message-ID: <20160909032308.GA8710@jocasta.intra> References: <20160908160847.5541.41788@vcs.savannah.gnu.org> <20160908160848.42B7A22017C@vcs.savannah.gnu.org> <20160909014419.GA9636@jasmine> Mime-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="HcAYCG3uE/tztfnV" Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:33796) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1biCPY-0000LV-Ki for guix-devel@gnu.org; Thu, 08 Sep 2016 23:23:29 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1biCPT-0006nf-I4 for guix-devel@gnu.org; Thu, 08 Sep 2016 23:23:27 -0400 Content-Disposition: inline In-Reply-To: <20160909014419.GA9636@jasmine> List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org Sender: "Guix-devel" To: Leo Famulari Cc: guix-devel@gnu.org, jmd@gnu.org --HcAYCG3uE/tztfnV Content-Type: text/plain; charset=us-ascii Content-Disposition: inline Content-Transfer-Encoding: quoted-printable 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. >=20 > commit fdf14c64f1dc7526e84b7e0ce41bf99e5b31c3f8 > Author: John Darrington > Date: Thu Sep 8 14:56:14 2016 +0200 >=20 > gnu: Add edit warning to generated grub.cfg files > =20 > * gnu/services/grub.scm (grub-configuration-file): Add code to e= mit warning. =20 This seems like a useful change. But, was it discussed anywhere? I can= 't find it in the mailing list archives. --=20 Avoid eavesdropping. Send strong encrypted email. PGP Public key ID: 1024D/2DE827B3=20 fingerprint =3D 8797 A26D 0854 2EAB 0285 A290 8A67 719C 2DE8 27B3 See http://sks-keyservers.net or any PGP keyserver for public key. --HcAYCG3uE/tztfnV Content-Type: application/pgp-signature; name="signature.asc" Content-Description: Digital signature -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iEYEARECAAYFAlfSKxwACgkQimdxnC3oJ7MtkACdGGSgpIzd54P4k8ZsPuoRKCCM /UIAn3+tQrxZlA3Yg3HKoR3M5/ebNlNe =HGhQ -----END PGP SIGNATURE----- --HcAYCG3uE/tztfnV--