diff --git a/tools/gate/00_setup.sh b/tools/gate/00_setup.sh index a7c21aa0d..963b94203 100755 --- a/tools/gate/00_setup.sh +++ b/tools/gate/00_setup.sh @@ -32,9 +32,13 @@ mkdir -p "$TMP_DIR" envsubst <"${AIRSHIPCTL_WS}/tools/gate/config_template.yaml" > "$PLAYBOOK_CONFIG" # use new version of ansible, Ubuntu has old one -sudo apt install software-properties-common python3-pip -sudo apt-get -y --no-install-recommends install docker.io make -sudo pip3 install ansible +sudo apt -y install software-properties-common python3-pip +sudo apt -y --no-install-recommends install docker.io make +if [[ -z "${http_proxy}" ]]; then + sudo pip3 install ansible +else + sudo pip3 --proxy "${http_proxy}" install ansible +fi echo "primary ansible_host=localhost ansible_connection=local ansible_python_interpreter=/usr/bin/python3" > "$ANSIBLE_HOSTS" printf "[defaults]\nroles_path = %s/roles\n" "$AIRSHIPCTL_WS" > "$ANSIBLE_CFG"