wok-next diff bootchart/receipt @ rev 18823
Add ptpython
author | Paul Issott <paul@slitaz.org> |
---|---|
date | Sat Jan 16 10:00:54 2016 +0000 (2016-01-16) |
parents | 380ffe05937a |
children | a6f7b6b890c2 |
line diff
1.1 --- a/bootchart/receipt Sat Aug 10 17:00:38 2013 +0000 1.2 +++ b/bootchart/receipt Sat Jan 16 10:00:54 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