docker-launcher/build.sh
2023-07-12 18:45:29 +00:00

16 lines
316 B
Bash
Executable File

#!/bin/sh
userID=$(id -u)
groupID=$(id -g)
mkdir -p ./build
echo "Building Docker image"
imageID=$(docker build -f docker/Dockerfile --build-arg UID="${userID}" --build-arg GID="${groupID}" -q .)
echo "Running build"
docker run --rm -v ./build:/build "$imageID"
echo "Removing image"
docker image rm "$imageID"