Send error message when inconsistent dir

diff --git a/Linux/menu.sh b/Linux/menu.sh
index dad1a5c83a12c56119129a663301676657fee1e6..f769267b741fe993a3b90ae1dc886b59e76dce73 100644 (file)
--- a/Linux/menu.sh
+++ b/Linux/menu.sh
@@ -400,12 +400,21 @@ do
      bash scripts/CreaTools-compile.sh
      
      # To allow (*very* aware) user to patch code, later
-  
-     chown -R $loginUserName $generationdir/creatools_source
-     chgrp -R $loginGroupName $generationdir/creatools_source
-     # Too much time consuming
-     #chown -R $loginUserName $generationdir/creatools_source 
-     #chgrp -R $loginGroupName $generationdir/creatools_source     
+     if [ -e $loginUserName $generationdir/creatools_source ]
+     then
+        echo "You probabely made a mistake : "
+       echo "Directory $loginUserName $generationdir/creatools_source not found"
+       echo "Make sure you know the mistake"
+       echo "Hit any key to continue"
+       echo "Fix the mistake!" 
+       read a
+     else
+        chown -R $loginUserName $generationdir/creatools_source
+        chgrp -R $loginGroupName $generationdir/creatools_source
+        # Too much time consuming
+        #chown -R $loginUserName $generationdir/creatools_source 
+        #chgrp -R $loginGroupName $generationdir/creatools_source
+    fi    
   ;;
   
   4)