diff options
| author |  MarkKoz <[email protected]> | 2019-12-16 15:34:49 -0800 |
|---|---|---|
| committer | MarkKoz <[email protected]> | 2020-02-21 21:45:25 -0800 |
| commit | fde1bfc72388672588941c595fb768ddbfa76ac9 (patch) | |
| tree | 9b0fef0a8b2784a95b8685178611fee72566aff4 | |
| parent | CI: add more logging in check_dockerfiles.sh (diff) | |
CI: update agent to Ubuntu 18.04
* Use inherit_errexit in check_dockerfiles.sh
| -rw-r--r-- | azure-pipelines.yml | 2 | ||||
| -rwxr-xr-x | scripts/check_dockerfiles.sh | 3 |
2 files changed, 2 insertions, 3 deletions
diff --git a/azure-pipelines.yml b/azure-pipelines.yml index 3559031..c5f033d 100644 --- a/azure-pipelines.yml +++ b/azure-pipelines.yml @@ -5,7 +5,7 @@ jobs: displayName: 'Lint & Test' pool: - vmImage: 'ubuntu-16.04' + vmImage: 'ubuntu-18.04' steps: - task: ShellScript@2 diff --git a/scripts/check_dockerfiles.sh b/scripts/check_dockerfiles.sh index b1f0e28..53842e2 100755 --- a/scripts/check_dockerfiles.sh +++ b/scripts/check_dockerfiles.sh @@ -1,6 +1,7 @@ #!/usr/bin/env bash set -euo pipefail +shopt -s inherit_errexit exec 3>&1 # New file descriptor to stdout BASE_URL="https://dev.azure.com/\ @@ -13,8 +14,6 @@ repositoryId=${BUILD_REPOSITORY_NAME}&\ api-version=5.0" get_build() { - set -e # Poor Ubuntu LTS doesn't have Bash 4.4's inherit_errexit - local branch="${1:?"get_build: argument 1 'branch' is unset"}" local url="${BASE_URL}&branchName=${branch}" |