commit 552174c89a9b16fd3fff1c62ce368c3722664c9c
author Davide Pesavento <davidepesa@gmail.com> Thu Apr 16 01:54:08 2020 -0400
committer Davide Pesavento <davidepesa@gmail.com> Thu Apr 16 17:47:04 2020 -0400
tree 708c36dd0597d6a60b7b8be13e65734609031d29
parent ad9e04f3aafc4aa6cd62426216584dc5301f7084

build+ci: switch to python3

Also in this commit:
 * Sync CI scripts with other projects
 * Improve README.md

Refs: #5095
Change-Id: I0972967e92bdf78b8ab7cda0d9db262e38c8b32b

.jenkins.d/util.sh

diff --git a/.jenkins.d/util.sh b/.jenkins.d/util.sh
index a89bc27..8077a74 100644
--- a/.jenkins.d/util.sh
+++ b/.jenkins.d/util.sh
@@ -16,3 +16,24 @@
     set ${saved_xtrace}
     return ${ret}
 }
+export -f has
+
+sudo_preserve_env() {
+    local saved_xtrace
+    [[ $- == *x* ]] && saved_xtrace=-x || saved_xtrace=+x
+    set +x
+
+    local vars=()
+    while [[ $# -gt 0 ]]; do
+        local arg=$1
+        shift
+        case ${arg} in
+            --) break ;;
+            *)  vars+=("${arg}=${!arg}") ;;
+        esac
+    done
+
+    set ${saved_xtrace}
+    sudo env "${vars[@]}" "$@"
+}
+export -f sudo_preserve_env