edouard@33: #!/bin/bash
edouard@33: 
edouard@33: # this script is given as an exemple
edouard@33: # I use it to prepare a ready-to-build container
edouard@33: # and then use that container with enter_docker.sh
edouard@33: 
edouard@33: docker rm current
edouard@33: docker rmi beremiz_builder
edouard@33: docker build --build-arg UID=$(id -u) --build-arg GID=$(id -g) -t beremiz_builder .
edouard@33: docker create \
edouard@33:        --name current \
edouard@33:        -v ~/src:/home/devel/src \
edouard@33:        -v ~/build/:/home/devel/build \
edouard@33:        -v ~/.bash_history:/home/devel/.bash_history \
edouard@33:        -w /home/devel/build \
edouard@33:        -i -t beremiz_builder /bin/bash