From 63b5d6f142db1feb60c2f1e65f48343023714680 Mon Sep 17 00:00:00 2001 From: jean-pierre roux Date: Fri, 21 Jan 2011 19:58:55 +0000 Subject: [PATCH] Add some verbosity --- Linux/menu.sh | 80 +++++++++++++++++++++++++++++++++++++++++++++++---- 1 file changed, 74 insertions(+), 6 deletions(-) diff --git a/Linux/menu.sh b/Linux/menu.sh index 4b5539b..5e441f8 100644 --- a/Linux/menu.sh +++ b/Linux/menu.sh @@ -1,5 +1,9 @@ #!/bin/bash -e + if [ -f scripts/CreaTools-configure.sh ] + then + source scripts/CreaTools-configure.sh + fi i=999 while [ "$i" != 9 ] @@ -19,6 +23,7 @@ do echo " Install the CreaTools :............4 (as root)" echo " Uninstall the CreaTools :............5 (as root)" echo + echo " Show some Environment Variables .....8" echo " Exit :...............................9" echo echo @@ -29,6 +34,7 @@ do case $i in 0) + clear suitable=XXX #ls -l scripts/CreaTools-configure.sh if [ -f scripts/CreaTools-configure.sh ] @@ -40,7 +46,22 @@ do echo "------------------------" more scripts/CreaTools-configure.sh echo "------------------------" - echo "Are the following values suitable for you : YES/NO? (default is YES)" + + # WARNING : $installPrefixThird is taken from CreaTools-configure.sh + # if user configured without installing third party library, + # Last third party library is still in use! JPR + if [ ! -f $installPrefixThird/share/creatools_third_party_library_config.sh ] + then + echo WARNING + echo + echo "the curently used Third Party libraries are NOT in $installPrefixThird but in :" + grep "installPrefixThird=" /etc/bashrc + echo "VTK_DIR :...." $VTK_DIR + echo "ITK_DIR :...." $ITK_DIR + echo "GDCM_DIR :..." $GDCM_DIR + fi + echo + echo "Are these values suitable for you : YES/NO? (default is YES)" read suitable if [ "$suitable" = "" ] then @@ -244,6 +265,7 @@ do echo " Gdcm version : $gdcmVersion" echo echo + echo "Do you confirm your choices : YES/NO ? (default is YES)" read confirm if [ "$confirm" = "" ] @@ -277,6 +299,7 @@ do echo "loginGroupName=$loginGroupName" >> $configureFile echo "buildType=$buildType" >> $configureFile echo "gdcmVersion=$gdcmVersion" >> $configureFile + # ------------------ # endif 'suitable' @@ -390,18 +413,63 @@ do echo echo exit 0 -fi - echo "========================= 4" - sh scripts/CreaTools-install.sh + fi + echo "========================= 4" + sh scripts/CreaTools-install.sh ;; 5) echo "========================= 5" sh scripts/CreaTools-uninstall.sh ;; - + + 8) + clear + + echo "===================================" + + # WARNING : $installPrefixThird is taken from CreaTools-configure.sh + # if user configured without installing third party library, + # Last third party library is still in use! JPR + + + if [ ! -f $installPrefixThird/share/creatools_third_party_library_config.sh ] + then + echo WARNING + echo + echo "the curently used Third Party libraries are NOT in $installPrefixThird but in :" + grep "installPrefixThird=" /etc/bashrc + echo "VTK_DIR :...." $VTK_DIR + echo "ITK_DIR :...." $ITK_DIR + echo "GDCM_DIR :..." $GDCM_DIR + fi + + if [ -f $installPrefixThird/share/creatools_third_party_library_config.sh ] + then + echo $installPrefixThird/share/creatools_third_party_library_config.sh + echo ------ + more $installPrefixThird/share/creatools_third_party_library_config.sh + echo ------ + fi + + echo + + if [ -f $installPrefix/share/creatools_base_library_config.sh ] + then + echo $installPrefix/share/creatools_base_library_config.sh + echo ------ + more $installPrefix/share/creatools_base_library_config.sh + echo ------ + fi + echo "===================================" + echo + echo "Press any key to continue" + read a + ;; + 9) - echo exit + echo + exit 0 ;; *) -- 2.47.1