mirror of
https://ops.gitlab.net/gitlab-org/gitlab-build-images.git
synced 2025-12-09 18:12:55 +01:00
25 lines
491 B
Bash
25 lines
491 B
Bash
function image_already_exists() {
|
|
image=$1
|
|
|
|
$(docker pull $image > /dev/null)
|
|
}
|
|
|
|
function build_if_needed() {
|
|
image=$1
|
|
|
|
if ! image_already_exists $image; then
|
|
docker build -t "$image" -f "Dockerfile.$image" .
|
|
else
|
|
echo "$image already exists, skipping build."
|
|
fi
|
|
}
|
|
|
|
function push_if_needed() {
|
|
image=$1
|
|
|
|
if ! image_already_exists $image; then
|
|
docker push "$image"
|
|
else
|
|
echo "$image already exists, skipping push."
|
|
fi
|
|
}
|