1 #!/bin/bash

     2 

     3 # this script is given as an exemple

     4 # I use it to prepare a ready-to-build container

     5 # and then use that container with enter_docker.sh

     6 

     7 docker rm current

     8 docker rmi beremiz_builder

     9 docker build --build-arg UID=$(id -u) --build-arg GID=$(id -g) -t beremiz_builder .

    10 docker create \

    11        --name current \

    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