edouard@37: #!/bin/bash edouard@37: edouard@37: set -e edouard@37: edouard@37: OWNDIRBASENAME=$(basename $(cd $(dirname "${BASH_SOURCE[0]}") && pwd)) edouard@37: edouard@37: echo "Building docker image" edouard@37: docker build \ edouard@37: --build-arg UID=$(id -u) \ edouard@37: --build-arg GID=$(id -g) \ edouard@37: --build-arg OWNDIRBASENAME="$OWNDIRBASENAME" \ edouard@37: -t beremiz_public_builder . edouard@37: