diff options
author | John Darrington <jmd@gnu.org> | 2016-09-08 14:56:14 +0200 |
---|---|---|
committer | John Darrington <jmd@gnu.org> | 2016-09-08 18:08:29 +0200 |
commit | fdf14c64f1dc7526e84b7e0ce41bf99e5b31c3f8 (patch) | |
tree | 177daa7c1f29a4d41ac7cc95dcb988a65939d16a | |
parent | 1c6c0ad067b558fcbebd87e8cb51d342d808163e (diff) | |
download | patches-fdf14c64f1dc7526e84b7e0ce41bf99e5b31c3f8.tar patches-fdf14c64f1dc7526e84b7e0ce41bf99e5b31c3f8.tar.gz |
gnu: Add edit warning to generated grub.cfg files
* gnu/services/grub.scm (grub-configuration-file): Add code to emit warning.
-rw-r--r-- | gnu/system/grub.scm | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/gnu/system/grub.scm b/gnu/system/grub.scm index 45b46cae6f..aa93c0f454 100644 --- a/gnu/system/grub.scm +++ b/gnu/system/grub.scm @@ -270,6 +270,10 @@ corresponding to old generations of the system." (define builder #~(call-with-output-file #$output (lambda (port) + (format port + "# This file was generated from your GuixSD configuration. Any changes +# will be lost upon reconfiguration. +") #$sugar (format port " set default=~a |