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 |
#!/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