build-docker.sh

#!/bin/bash

# See `run-docker.sh` for context.
IMAGE_NAME="mozsearch:$(date "+%Y%m%d")-$(git rev-parse HEAD | head -c 8)"

# TODO: fixed UID/GID?
docker build \
    -t ${IMAGE_NAME} \
    --build-arg LOCAL_UID=1000 \
    --build-arg LOCAL_GID=1000 \
    -f infrastructure/Dockerfile \
    .

if [[ $1 == "push" ]]; then
    remote_tag="docker.io/$2/${IMAGE_NAME}"
    docker image tag "${IMAGE_NAME}" "$remote_tag"
    docker push "$remote_tag"
fi

echo "tag: ${IMAGE_NAME}"