From: jean-pierre roux Date: Mon, 14 Feb 2011 13:00:39 +0000 (+0000) Subject: replace 'sh' by 'bash' (avoid pb [[ on Ubuntu!) X-Git-Tag: Creatools2-0-3.creaToolsTools2-0-3.17Feb2011~7 X-Git-Url: https://git.creatis.insa-lyon.fr/pubgit/?a=commitdiff_plain;h=e74866b518e8730774879625a63ab91d60f8432e;p=creaToolsTools.git replace 'sh' by 'bash' (avoid pb [[ on Ubuntu!) --- 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)