From b31a5cb1adf04c45cb96e877815523cc4d48a1e6 Mon Sep 17 00:00:00 2001
From: srs5694 <srs5694@users.sourceforge.net>
Date: Fri, 19 Jul 2013 23:42:49 -0400
Subject: [PATCH] Added notice to install.sh that /etc/default/grub is being
 used for setting default boot options.

---
 install.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/install.sh b/install.sh
index dc6d898..a4675f1 100755
--- a/install.sh
+++ b/install.sh
@@ -706,6 +706,7 @@ GenerateRefindLinuxConf() {
       if [[ -f "$RootDir/etc/default/grub" ]] ; then
          # We want the default options used by the distribution, stored here....
          source "$RootDir/etc/default/grub"
+         echo "Setting default boot options based on $RootDir/etc/default/grub"
       fi
       RootFS=`df "$RootDir" | grep dev | cut -f 1 -d " "`
       StartOfDevname=`echo "$RootFS" | cut -b 1-7`
-- 
2.39.2