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