change default

diff --git a/Linux/menu.sh b/Linux/menu.sh
index 2e2c1246dcf99e2d5cbaa309ca64f692657024f2..207d0c3e6c154e3129a243506ba9cda62d5c36c0 100644 (file)
--- a/Linux/menu.sh
+++ b/Linux/menu.sh
@@ -154,11 +154,11 @@ do
         echo   
 
         # ------------------
-        echo "Name of the Generation Directory (default is ~/creaToolsGenerationDir)"
+        echo "Name of the Generation Directory (default is ~/myDefaultGenerationDir)"
         read generationdir
         if [ "$generationdir" = "" ]
         then
-           generationdir="~/creaToolsGenerationDir"
+           generationdir="~/myDefaultGenerationDir"
         fi
         echo "you said : [" $generationdir "]"