Allow user to specify number of cores

[creaToolsTools.git] / Linux / menu.sh

diff --git a/Linux/menu.sh b/Linux/menu.sh
index 74acab218461ddddaeff29ce0f982009f815f182..4326d714ea40a4fed7ccc7d70216047ed05204bb 100644 (file)
--- a/Linux/menu.sh
+++ b/Linux/menu.sh
@@ -140,6 +140,18 @@ do
         echo "you said : [" $OperatingSystem "]"
         echo
         echo
+       
+        # ------------------
+        echo "How many cores on your computer 2 (default is 2)"
+        read corenumber
+        if [ "$corenumber" = "" ]
+        then
+           generationdir="2"
+        fi
+        echo "you said : [" $corenumber "]"
+
+        echo
+        echo   
 
         # ------------------
         echo "Name of the Generation Directory (default is /tmp/myGenerationDir)"
@@ -195,7 +207,7 @@ do
         sourcesFrom="___"
         while [[ "$sourcesFrom" != "CVS"  && "$sourcesFrom" != "HTML" ]]
         do
-           echo "Where do you want to get source files from : CVS/HTML (default is CVS)"
+           echo "Where do you want to get source files from : CVS/HTML ( CVS : for registered CREATIS users only! )"
            read sourcesFrom
            if [ "$sourcesFrom" = "" ]
            then
@@ -212,7 +224,7 @@ do
         then
            while [ "$cvsUserName" == "" ]
            do
-              echo "CVS User Name (mandatory!)"
+              echo "CVS User Name ( registered CREATIS user : mandatory!)"
               read cvsUserName
            done
            echo "you said : [" $cvsUserName "]"
@@ -281,6 +293,7 @@ do
         echo
         echo "You said :"
         echo "  Operating System                           : $OperatingSystem"
+        echo "  Number of Cores                            : $corenumber"      
         echo "  Name of the Generation Directory           : $generationdir"
         echo "  Install Prefix for Third Party Libraries   : $installPrefixThird"      
         echo "  Install Prefix for CreaTools               : $installPrefix"
@@ -321,6 +334,7 @@ do
    echo "#(except if you *do* know what you do)" >> $configureFile
    echo                                          >> $configureFile
    echo "OperatingSystem=$OperatingSystem"       >> $configureFile
+   echo "corenumber=$corenumber"                 >> $configureFile   
    echo "generationdir=$generationdir"           >> $configureFile
    echo "installPrefix=$installPrefix"           >> $configureFile
    echo "installPrefixThird=$installPrefixThird" >> $configureFile