Modified the scripts to switch from CVS to Git.

[creaToolsTools.git] / Linux / menu.sh

diff --git a/Linux/menu.sh b/Linux/menu.sh
index 680658a20ced04439f061bd526a02d4026b3f35e..6860f65421aec97e49903c20066c0f04a539306b 100644 (file)
--- a/Linux/menu.sh
+++ b/Linux/menu.sh
@@ -58,7 +58,7 @@ do
      
    if [ $expanded = "YES" ]
    then
-      echo " Get the 'CreaTools' source files :.2.1 (CVS : as user!)" 
+      echo " Get the 'CreaTools' source files :.2.1 (GIT : as user!)" 
       echo " Compile   the CreaTools :..........2.2"
       # Install creatools as user (no longer as root) // JPR 2/5/2011   
       echo " Install   the CreaTools :..........2.3"
@@ -245,13 +245,13 @@ docgeneration="OFF"
         # ------------------
 
         sourcesFrom="___"
-        while [[ "$sourcesFrom" != "CVS"  && "$sourcesFrom" != "HTML" ]]
+        while [[ "$sourcesFrom" != "GIT"  && "$sourcesFrom" != "HTML" ]]
         do
-           echo "Where do you want to get source files from : CVS/HTML ( CVS : for registered CREATIS users only! )"
+           echo "Where do you want to get source files from : GIT/HTML ( GIT : for registered CREATIS users only! )"
            read sourcesFrom
            if [ "$sourcesFrom" = "" ]
            then
-              sourcesFrom="CVS"
+              sourcesFrom="GIT"
            fi
            echo "you said : [" $sourcesFrom "]"
         done
@@ -259,17 +259,17 @@ docgeneration="OFF"
         echo
         # ------------------
 
-        cvsUserName=""
-        if [ "$sourcesFrom" = "CVS" ]
+        gitUserName=""
+        if [ "$sourcesFrom" = "GIT" ]
         then
-           while [ "$cvsUserName" == "" ]
+           while [ "$gitUserName" == "" ]
            do
-              echo "CVS User Name ( registered CREATIS user : mandatory!)"
-              read cvsUserName
+              echo "GIT User Name ( registered CREATIS user : mandatory!)"
+              read gitUserName
            done
-           echo "you said : [" $cvsUserName "]"
+           echo "you said : [" $gitUserName "]"
         else
-           cvsUserName="ForgetThisOne" 
+           gitUserName="ForgetThisOne" 
         fi
         echo
         echo
@@ -353,9 +353,9 @@ docgeneration="OFF"
         echo "  Install Prefix for CreaTools               : $installPrefix"
         echo "  Boolean for Doc Generation                 : $docgeneration"
         echo "  Where do you want to get source files from : $sourcesFrom"
-        if [ $sourcesFrom = CVS ]
+        if [ $sourcesFrom = GIT ]
         then
-           echo "  CVS User Name                              : $cvsUserName"
+           echo "  GIT User Name                              : $gitUserName"
         fi
         echo "  Login User Name                            : $loginUserName"
         echo "  Login Group Name                           : $loginGroupName"
@@ -391,7 +391,7 @@ docgeneration="OFF"
    echo "installPrefixThird=$installPrefixThird" >> $configureFile
    echo "docgeneration=$docgeneration"           >> $configureFile
    echo "sourcesFrom=$sourcesFrom"               >> $configureFile
-   echo "cvsUserName=$cvsUserName"               >> $configureFile 
+   echo "gitUserName=$gitUserName"               >> $configureFile 
    echo "loginUserName=$loginUserName"           >> $configureFile
    echo "loginGroupName=$loginGroupName"         >> $configureFile
    echo "buildType=$buildType"                   >> $configureFile
@@ -414,7 +414,7 @@ docgeneration="OFF"
      bash scripts/ThirdParty-install.sh
      bash scripts/ThirdParty-install-Finalize.sh
 
-     if [ "$sourcesFrom" = "CVS" ]
+     if [ "$sourcesFrom" = "GIT" ]
      then
         echo "----------------------------------------------------------------------"
         echo OK