#!/bin/bash
# note, this script gets piped to bash, so cant cd to current dir
+
+[[ $EUID == 0 ]] || exec sudo "${BASH_SOURCE}" "$@"
+
set -eE -o pipefail
trap 'echo "$0:$LINENO:error: \"$BASH_COMMAND\" returned $?" >&2' ERR
esac
done
-[[ $EUID == 0 ]] || exec sudo "${BASH_SOURCE}" "$@"
-
e() {
echo "$*"
if ! "$@"; then