From e74866b518e8730774879625a63ab91d60f8432e Mon Sep 17 00:00:00 2001
From: jean-pierre roux <jean-pierre.roux@creatis.insa-lyon.fr>
Date: Mon, 14 Feb 2011 13:00:39 +0000
Subject: [PATCH] replace 'sh' by 'bash' (avoid pb [[ on Ubuntu!)

---
 Linux/README.txt |  2 +-
 Linux/menu.sh    | 14 +++++++-------
 2 files changed, 8 insertions(+), 8 deletions(-)

diff --git a/Linux/README.txt b/Linux/README.txt
index 640e183..8abf0bd 100644
--- a/Linux/README.txt
+++ b/Linux/README.txt
@@ -37,7 +37,7 @@ choose 'Install Third Party Libraries' (1)
 
 E) Close the window and open a new one.
    switch as root again
-   sh menu.sh
+   bash menu.sh
    
 F) Choose Get the CreaTools source files ' (2)
    
diff --git a/Linux/menu.sh b/Linux/menu.sh
index f9d2290..4ff3989 100644
--- a/Linux/menu.sh
+++ b/Linux/menu.sh
@@ -307,7 +307,7 @@ do
   1)
      echo "========================== 1 "
      source scripts/Check-if-root.sh
-     sh scripts/ThirdParty-install.sh
+     bash scripts/ThirdParty-install.sh
      
 #      vtkdirVariable=""
 #      while [ "$vtkdirVariable" = "" ]
@@ -364,12 +364,12 @@ do
      then
         echo "----------------------------------------------------------------------"
         echo OK
-        echo "To go on, run again 'sh menu.sh' as '$loginUserName', in a new window"
+        echo "To go on, run again 'bash menu.sh' as '$loginUserName', in a new window"
         echo "---------------------------------------------------------------------"
      else
         echo "----------------------------------------------------------------------"
         echo OK
-        echo "To go on, run again 'sh menu.sh'  in a new window"
+        echo "To go on, run again 'bash menu.sh'  in a new window"
         echo "---------------------------------------------------------------------"
      fi
      echo
@@ -382,13 +382,13 @@ do
     
      
      echo "========================== 2" 
-     sh scripts/CreaTools-load.sh
+     bash scripts/CreaTools-load.sh
   ;;
   
   3)
      echo "========================== 3"
      source scripts/CreaTools-configure.sh
-     sh scripts/CreaTools-compile.sh
+     bash scripts/CreaTools-compile.sh
      
      # To allow (*very* aware) user to patch code, later
   
@@ -414,7 +414,7 @@ do
          exit 0
       fi
       echo "========================= 4"
-      sh scripts/CreaTools-install.sh 
+      bash scripts/CreaTools-install.sh 
      echo
      echo "==> Hit any key to close current window" 
      read a
@@ -423,7 +423,7 @@ do
  
   5)
      echo "========================= 5"
-     sh scripts/CreaTools-uninstall.sh
+     bash scripts/CreaTools-uninstall.sh
   ;;
 
   7)
-- 
2.47.1