1#!/bin/bash 2 3set -e 4 5TAG="registry.gitlab.gnome.org/gnome/libsoup/master:v3" 6 7cd "$(dirname "$0")" 8docker build --build-arg HOST_USER_ID="$UID" --tag "${TAG}" \ 9 --file "Dockerfile" . 10 11if [ "$1" = "--push" ]; then 12 docker login registry.gitlab.gnome.org 13 docker push $TAG 14else 15 docker run --rm \ 16 --volume "$(pwd)/..:/home/user/app" --workdir "/home/user/app" \ 17 --tty --interactive "${TAG}" bash 18fi 19