#!/usr/bin/env bash set -e source "${GATE_UTILS}" CONFIG_PROXY=${HTTP_PROXY:-} log Building docker image "${IMAGE_PROMENADE}" if [[ -z "$CONFIG_PROXY" ]] then docker build -q \ --network host \ -t "${IMAGE_PROMENADE}" \ "${WORKSPACE}" else docker build -q \ --network host \ -t "${IMAGE_PROMENADE}" \ --build-arg "HTTP_PROXY=${HTTP_PROXY:-}" \ --build-arg "HTTPS_PROXY=${HTTPS_PROXY:-}" \ --build-arg "NO_PROXY=${NO_PROXY:-}" \ --build-arg "http_proxy=${http_proxy:-}" \ --build-arg "https_proxy=${https_proxy:-}" \ --build-arg "no_proxy=${no_proxy:-}" \ "${WORKSPACE}" fi log Loading Promenade image "${IMAGE_PROMENADE}" into local registry docker tag "${IMAGE_PROMENADE}" "localhost:5000/${IMAGE_PROMENADE}" &>> "${LOG_FILE}" docker push "localhost:5000/${IMAGE_PROMENADE}" &>> "${LOG_FILE}"