Added notice to install.sh that /etc/default/grub is being used for

setting default boot options.

diff --git a/install.sh b/install.sh
index dc6d8985a41c241772a98d6b42c3adf89bcce4d0..a4675f1ef4f33f792407f21fbaa7286d094b3dff 100755 (executable)
--- 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`