2018-02-18 15:59:29 +01:00
|
|
|
#!/bin/bash
|
|
|
|
|
|
|
|
set -e
|
|
|
|
|
2018-12-03 01:00:00 +01:00
|
|
|
TAG="registry.gitlab.gnome.org/gnome/glib/master:v11"
|
2018-05-01 08:55:29 +02:00
|
|
|
|
2018-11-13 11:32:35 +01:00
|
|
|
cd "$(dirname "$0")"
|
2018-06-22 17:24:24 +02:00
|
|
|
docker build --build-arg HOST_USER_ID="$UID" --tag "${TAG}" \
|
2018-02-18 15:59:29 +01:00
|
|
|
--file "Dockerfile" .
|
2018-06-22 17:24:24 +02:00
|
|
|
|
|
|
|
if [ "$1" = "--push" ]; then
|
|
|
|
docker login registry.gitlab.gnome.org
|
|
|
|
docker push $TAG
|
|
|
|
else
|
|
|
|
docker run --rm \
|
|
|
|
--volume "$(pwd)/..:/home/user/app" --workdir "/home/user/app" \
|
|
|
|
--tty --interactive "${TAG}" bash
|
|
|
|
fi
|