create_docker_container.sh
changeset 37 fd09116d3537
child 120 02e37d9e96a9
equal deleted inserted replaced
36:ad68e85dc416 37:fd09116d3537
       
     1 #!/bin/bash
       
     2 
       
     3 set -e
       
     4 
       
     5 # absolute path to directory containing parent directory of that script
       
     6 # (i.e. source directory containing beremiz, matiec, etc..)
       
     7 SRCDIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && cd .. && pwd )"
       
     8 echo "SOURCE direcory : $SRCDIR"
       
     9 
       
    10 # absolute path to build directory. ~/build if not given as only argument
       
    11 BUILDDIR=${1:-~/build}
       
    12 mkdir -p $BUILDDIR
       
    13 echo "BUILD direcory : $BUILDDIR"
       
    14 
       
    15 UNAME=devel
       
    16 UHOME=/home/$UNAME
       
    17 
       
    18 echo "Creating docker container"
       
    19 docker create \
       
    20        --name beremiz_public_builder_current \
       
    21        -v $SRCDIR:$UHOME/src \
       
    22        -v $BUILDDIR:$UHOME/build \
       
    23        -v /tmp/.X11-unix/X0:/tmp/.X11-unix/X0 \
       
    24        -w $UHOME/build \
       
    25        -i -t beremiz_public_builder /bin/bash