rebuild_docker.sh
changeset 37 fd09116d3537
parent 33 12390414aed0
equal deleted inserted replaced
36:ad68e85dc416 37:fd09116d3537
     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