equal
deleted
inserted
replaced
1 #!/bin/bash |
1 #!/bin/bash |
2 |
2 |
3 # this script is given as an exemple |
3 set -e |
4 # I use it to prepare a ready-to-build container |
|
5 # and then use that container with enter_docker.sh |
|
6 |
4 |
7 docker rm current |
5 ./clean_docker_container.sh || true |
8 docker rmi beremiz_builder |
6 ./clean_docker_image.sh || true |
9 docker build --build-arg UID=$(id -u) --build-arg GID=$(id -g) -t beremiz_builder . |
7 ./build_docker_image.sh |
10 docker create \ |
8 ./create_docker_container.sh $1 |
11 --name current \ |
9 |
12 -v ~/src:/home/devel/src \ |
|
13 -v ~/build/:/home/devel/build \ |
|
14 -v ~/.bash_history:/home/devel/.bash_history \ |
|
15 -w /home/devel/build \ |
|
16 -i -t beremiz_builder /bin/bash |
|