1
Description: Read /etc/default/grub.d/*.cfg after /etc/default/grub
2
Author: Colin Watson <cjwatson@ubuntu.com>
3
Bug-Ubuntu: https://bugs.launchpad.net/bugs/901600
5
Last-Update: 2013-01-02
7
Index: b/util/grub-install.in
8
===================================================================
9
--- a/util/grub-install.in
10
+++ b/util/grub-install.in
12
if test -f "${sysconfdir}/default/grub" ; then
13
. "${sysconfdir}/default/grub"
15
+for x in "${sysconfdir}/default/grub.d"/*.cfg ; do
16
+ if [ -e "${x}" ]; then
21
bootloader_id="$(echo "$GRUB_DISTRIBUTOR" | tr 'A-Z' 'a-z' | cut -d' ' -f1)"
22
if test -z "$bootloader_id"; then
23
Index: b/util/grub-mkconfig.in
24
===================================================================
25
--- a/util/grub-mkconfig.in
26
+++ b/util/grub-mkconfig.in
28
if test -f ${sysconfdir}/default/grub ; then
29
. ${sysconfdir}/default/grub
31
+for x in ${sysconfdir}/default/grub.d/*.cfg ; do
32
+ if [ -e "${x}" ]; then
37
# XXX: should this be deprecated at some point?
38
if [ "x${GRUB_TERMINAL}" != "x" ] ; then