replace 'sh' by 'bash' (avoid pb [[ on Ubuntu!)

diff --git a/Linux/README.txt b/Linux/README.txt
index 640e18389432988f3aad3b625821234aea175002..8abf0bdf875e343bed44b435f9e206b1649e0789 100644 (file)
--- 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 f9d229075b1cd9a20f0578679bb16714d2101aba..4ff39892034f943794644836436c98911dda06cd 100644 (file)
--- 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)