no message

[creaToolsTools.git] / Linux / menu.sh

diff --git a/Linux/menu.sh b/Linux/menu.sh
index e76a0d206b9723af0ae25a2bf8ecbfd7aded64d5..3a26fd5d55249aa41eb607761c722ffbea985233 100644 (file)
--- a/Linux/menu.sh
+++ b/Linux/menu.sh
@@ -23,6 +23,7 @@ do
    echo " Install   the CreaTools :..........4 (as root)"
    echo " Uninstall the CreaTools :..........5 (as root)"
    echo
+   echo " Help ..............................7 Help about this menu"   
    echo " Show some Environment Variables ...8"
    echo " Exit :.............................9"
   echo
@@ -216,7 +217,7 @@ do
         # ------------------
 
         buildType="___"
-        while [[ "$buildType" != "Release"  && "$Debug " != "HTML" ]]
+        while [[ "$buildType" != "Release"  && "$buildType " != "Debug" ]]
         do
            echo "Build type : Release/Debug (default is Release)"
            read buildType
@@ -415,7 +416,7 @@ do
       echo "========================= 4"
       sh scripts/CreaTools-install.sh 
      echo
-     echo "==> Hit any key to exit close current window" 
+     echo "==> Hit any key to close current window" 
      read a
      kill $PPID        
   ;;
@@ -425,9 +426,17 @@ do
      sh scripts/CreaTools-uninstall.sh
   ;;
 
+  7)
+     clear
+     echo "==================================="
+     more README.txt
+      echo
+     echo "==> Hit any key to go on" 
+     read a
+  ;;
+         
   8)
      clear
-  
      echo "==================================="
      
      # WARNING : $installPrefixThird is taken from CreaTools-configure.sh