various fixes and updates

[distro-setup] / demohost-mount

diff --git a/demohost-mount b/demohost-mount
index 8dc062012b4cd45d63eb2c22563cb0c30c2d7a90..90d2b42497cedfa56e7420e8a74a235c49a7935e 100755 (executable)
--- a/demohost-mount
+++ b/demohost-mount
@@ -1,9 +1,7 @@
-#!/bin/bash -l
-set -eE -o pipefail
-trap 'echo "$0:$LINENO:error: \"$BASH_COMMAND\" returned $?" >&2' ERR
-
+#!/bin/bash
+if [[ -s ~/.bashrc ]];then . ~/.bashrc;fi
 
-[[ $EUID == 0 ]] || exec sudo -E "$BASH_SOURCE" "$@"
+[[ $EUID == 0 ]] || exec sudo -E "${BASH_SOURCE[0]}" "$@"