avoid troubles if user run menu.sh within various sessions

[creaToolsTools.git] / Linux / menu.sh

diff --git a/Linux/menu.sh b/Linux/menu.sh
index e82924c02be9456b8d1d9eaefec08ec8ff1e51a3..725901d8527d435bc092b083e40a4feed075d7d8 100644 (file)
--- a/Linux/menu.sh
+++ b/Linux/menu.sh
@@ -16,15 +16,15 @@ do
    echo
    echo " Choose what you want to do :"
    echo  
-   echo " Configure :..........................0 "
-   echo " Install Third Party Libraries :......1 (as root)"
-   echo " Get the 'CreaTools' source files :...2 (CVS : as user!)" 
-   echo " Compile   the CreaTools :............3 "
-   echo " Install   the CreaTools :............4 (as root)"
-   echo " Uninstall the CreaTools :............5 (as root)"
+   echo " Configure :........................0 "
+   echo " Install Third Party Libraries :....1 (as root)"
+   echo " Get the 'CreaTools' source files :.2 (CVS : as user!)" 
+   echo " Compile   the CreaTools :..........3 "
+   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 " Show some Environment Variables ...8"
+   echo " Exit :.............................9"
   echo
   echo
   echo