rebuild_docker.sh
author Edouard Tisserant <edouard.tisserant@gmail.com>
Sat, 16 Dec 2017 17:30:28 +0100
changeset 35 0a74906dcd72
parent 33 12390414aed0
child 37 fd09116d3537
permissions -rwxr-xr-x
updated md5 checksums
#!/bin/bash

# this script is given as an exemple
# I use it to prepare a ready-to-build container
# and then use that container with enter_docker.sh

docker rm current
docker rmi beremiz_builder
docker build --build-arg UID=$(id -u) --build-arg GID=$(id -g) -t beremiz_builder .
docker create \
       --name current \
       -v ~/src:/home/devel/src \
       -v ~/build/:/home/devel/build \
       -v ~/.bash_history:/home/devel/.bash_history \
       -w /home/devel/build \
       -i -t beremiz_builder /bin/bash