circleci: Fix documentation building
[ghc.git] / .circleci / images / update-image
1 #!/usr/bin/env bash
2
3 set -e
4
5 repo=ghcci
6
7 if [[ $# != 2 ]]; then
8     echo "Usage: $0 DIR VERSION"
9     echo
10     echo "Update Docker image in DIR, pushing it to the $repo repository as"
11     echo "version VERSION"
12     echo
13     echo "Example: $0 x86_64-linux-fedora 0.0.3"
14     exit 1
15 fi
16
17 name=$1
18 version=$2
19
20 versions="$(curl -s https://registry.hub.docker.com/v1/repositories/$repo/$name/tags | jq -r .[].name)"
21 if echo "$versions" | grep $version > /dev/null; then
22     echo "Version $version of $name already exists"
23     echo "Previous versions are:"
24     echo "$versions"
25     exit 1
26 fi
27
28 docker build $name -t $repo/$name:$version
29 docker push $repo/$name:$version
30
31 repo_name="$repo/$name"
32 sed -i -E -e "s%$repo_name"':[0-9]+(\.[0-9]+)*%'"$repo_name:$version%" ../config.yml
33 echo "Built, pushed, and bumped $name:$version"