wok diff bootchart/receipt @ rev 18859

Up 1.0v to 1.0.1v
author Leonardo Laporte <hackdorte@sapo.pt>
date Wed Jan 27 06:07:29 2016 +0000 (2016-01-27)
parents 380ffe05937a
children a6f7b6b890c2
line diff
     1.1 --- a/bootchart/receipt	Sat Aug 10 17:00:38 2013 +0000
     1.2 +++ b/bootchart/receipt	Wed Jan 27 06:07:29 2016 +0000
     1.3 @@ -37,6 +37,7 @@
     1.4  			root_dev=`sed -n 's/.*root=\([^ ]*\).*/\1/p' "$MENU" | head -n1`
     1.5  			grub_dev=`sed -n '/^[^#]*root.* (/p' "$MENU" | head -n1`
     1.6  			# Add new kernel entry for bootchart and display information message
     1.7 +			echo
     1.8  			echo "----"
     1.9  			echo "GRUB is installed, these tree lines has been added to the menu.lst:"
    1.10  			tee -a "$MENU" << EOT
    1.11 @@ -47,6 +48,7 @@
    1.12  EOT
    1.13  			echo "----"
    1.14  		else
    1.15 +			echo
    1.16  			echo "Grub menu.lst seems already configured to boot new Kernel..."
    1.17  		fi
    1.18  	fi