minor bug fix

[distro-setup] / demohost-mount

diff --git a/demohost-mount b/demohost-mount
index 6445187dc16d5288d1c4d414a566f2c6e4f728f8..706a516540d6d9f4b39946fb195229d4c08463b3 100755 (executable)
--- a/demohost-mount
+++ b/demohost-mount
@@ -1,19 +1,19 @@
-#!/bin/bash
+#!/bin/bash -l
 set -eE -o pipefail
 trap 'echo "$0:$LINENO:error: \"$BASH_COMMAND\" returned $?" >&2' ERR
 
 
-[[ $EUID == 0 ]] || exec sudo -E "$BASH_SOURCE" "$@"
+[[ $EUID == 0 ]] || exec sudo -E "${BASH_SOURCE[0]}" "$@"
 
 
 
 
 ip=$(host demohost | sed -rn 's/^\S+ has address //p;T;q')/32
-cedit demohost /etc/exports <<EOF
+cedit demohost /etc/exports <<EOF || exportfs -ra
 /a $ip(async,rw,no_subtree_check,no_root_squash)
 /q $ip(async,rw,no_subtree_check,no_root_squash)
 EOF
-exportfs -ra
+
 
 ssh root@demohost bash -s <<'EOFOUTER'
 set -eE -o pipefail