diff --git a/install_base.sh b/install_base.sh index a69e5066a413196793c287ce6921a3572744b116..893689deda50163ef78b6dd825fce7ae58fc49c4 100755 --- a/install_base.sh +++ b/install_base.sh @@ -53,6 +53,18 @@ lower_or_equal() { [[ "$(printf "%s\n%s\n" "$x" "$y" | sort -g | head -1)" == "$x" ]] } +sudo() { + # Run without sudo if we are already root + if [[ $EUID = 0 ]]; then + env - "$@" + else + command sudo "$@" + fi +} + +# Make it available in subshells +export -f sudo + LISA_HOME=${LISA_HOME:-$(dirname "${BASH_SOURCE[0]}")} cd "$LISA_HOME" || (echo "LISA_HOME ($LISA_HOME) does not exists" && exit 1)