grub2/grub-1.98-persistent.patch

83 lines
2.8 KiB
Diff
Raw Permalink Normal View History

2008-08-27 08:07:28 +00:00
This adds a section to the configuration file that persists the updates,
so that it's not only grub2-update itself that decides what's in the
configuration.
Lubomir Rintel <lkundrak@v3.sk>
diff -up grub2/conf/common.rmk.persistent grub2/conf/common.rmk
--- grub2/conf/common.rmk.persistent 2008-08-27 10:49:16.000000000 +0200
+++ grub2/conf/common.rmk 2008-08-27 13:51:33.000000000 +0200
@@ -138,6 +138,12 @@ endif
2008-08-27 08:07:28 +00:00
CLEANFILES += $(update-grub_SCRIPTS)
+90_persistent: util/grub.d/90_persistent.in config.status
+ ./config.status --file=$@:$<
+ chmod +x $@
+update-grub_SCRIPTS += 90_persistent
+CLEANFILES += 90_persistent
+
update-grub_DATA += util/grub.d/README
diff -up /dev/null grub2/util/grub.d/90_persistent.in
--- /dev/null 2008-08-24 16:09:23.777049452 +0200
+++ grub2/util/grub.d/90_persistent.in 2008-08-27 13:51:33.000000000 +0200
2008-08-27 08:07:28 +00:00
@@ -0,0 +1,37 @@
+#! /bin/sh -e
+
+# update-grub helper script.
+# Copyright (C) 2008 Free Software Foundation, Inc.
+#
+# GRUB is free software: you can redistribute it and/or modify
+# it under the terms of the GNU General Public License as published by
+# the Free Software Foundation, either version 3 of the License, or
+# (at your option) any later version.
+#
+# GRUB is distributed in the hope that it will be useful,
+# but WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+# GNU General Public License for more details.
+#
+# You should have received a copy of the GNU General Public License
+# along with GRUB. If not, see <http://www.gnu.org/licenses/>.
+
+# The output of this script is copied from part of grub.cfg
+# that correspond to itself. The achievement is that user can
+# modify that part of grub.cfg directly, and it will be persistent
+# across update-grub runs.
+
+transform="@program_transform_name@"
+
+ME=$(echo $0 |sed 's,/,\\/,g')
+GRUBCFG=/boot/`echo grub | sed ${transform}`/grub.cfg
+
+# Exit gracefully if there's no configuration file yet
+[ -f ${GRUBCFG} ] || exit 0
+
+awk "
+ BEGIN {echo = 0}
+ /### BEGIN $ME ###/ {echo = 1; next}
+ /### END $ME ###/ {echo = 0; next}
+ {if (echo) print}
+" ${GRUBCFG}
diff -up grub2/util/update-grub.in.persistent grub2/util/update-grub.in
--- grub2/util/update-grub.in.persistent 2008-08-27 13:51:33.000000000 +0200
+++ grub2/util/update-grub.in 2008-08-27 13:51:33.000000000 +0200
2008-08-27 08:07:28 +00:00
@@ -176,11 +176,12 @@ echo "Updating ${grub_cfg} ..." >&2
cat << EOF
#
-# DO NOT EDIT THIS FILE
-#
-# It is automatically generated by $0 using templates
+# This is automatically generated by $0 using templates
# from ${update_grub_dir} and settings from ${sysconfdir}/default/grub
#
+# If you want your changes to persist across updates, add them
+# to 90_persistent section
+#
EOF
for i in ${update_grub_dir}/* ; do