mount-robot: Do not require password when filesystem is already exported

Also a typo was fixed.

diff --git a/devel-utils/mount-robot b/devel-utils/mount-robot
index eacdf2b9d4b14c24c333c35d945cc4749c56efd6..c6518ee59d0965fd062856ef1b1ad77b41b0d463 100755 (executable)
--- a/devel-utils/mount-robot
+++ b/devel-utils/mount-robot
@@ -9,13 +9,13 @@ fi
 
 if [ -z "$myip" ]; then
     echo "$0: error: You do not seem to be connected to the robot"
-    echo "You IP address should be 10.1.1.xxx"
+    echo "Your IP address should be 10.1.1.xxx"
     exit 1
 fi
 
 set -x
 
-if ! sudo exportfs|grep -q $mypath; then
+if ! grep -q $mypath /var/lib/nfs/etab; then
     sudo exportfs -o ro,no_subtree_check,no_root_squash 10.1.1.1:$mypath
 fi