Back out quietly if we can't pull either "hello-world" or "XXX/hello-world"

This commit is contained in:
Tianon Gravi 2017-07-06 11:06:08 -07:00
parent ae9e2bf435
commit 5e2155e6c0
1 changed files with 2 additions and 2 deletions

View File

@ -3,8 +3,8 @@ set -Eeuo pipefail
image="${1:-hello-world}"
docker pull hello-world &> /dev/null
docker pull "$image" &> /dev/null
docker pull hello-world &> /dev/null || exit
docker pull "$image" &> /dev/null || exit
exec > "$(dirname "$(readlink -f "$BASH_SOURCE")")/content.md"