commit 508b1e05fd484c9690c9e526ebda3e130b2da2d3 parent 2c9430c8ef31d675cf86f526f724bfcb1b9a0746 Author: Marcello Stanisci <marcello.stanisci@inria.fr> Date: Fri, 23 Dec 2016 13:16:46 +0100 Downloading codebases in $HOME, instead of /. Diffstat:
| M | docker/base/Dockerfile | | | 12 | ++++++------ |
1 file changed, 6 insertions(+), 6 deletions(-)
diff --git a/docker/base/Dockerfile b/docker/base/Dockerfile @@ -21,18 +21,18 @@ RUN apt-get update && apt-get install -qqy \ # Needed to run the config generator RUN pip3 install click -RUN git clone https://gnunet.org/git/gnunet/ \ - && git clone https://gnunet.org/git/libmicrohttpd/ \ - && git clone git://taler.net/deployment +RUN git clone https://gnunet.org/git/gnunet/ ~/gnunet \ + && git clone https://gnunet.org/git/libmicrohttpd/ ~/libmicrohttpd \ + && git clone git://taler.net/deployment ~/deployment -WORKDIR /gnunet +WORKDIR ~/gnunet RUN ./bootstrap \ && ./configure --with-libgnurl=/usr/local/ \ && make \ && make install -WORKDIR /libmicrohttpd +WORKDIR ~/libmicrohttpd RUN ./bootstrap \ && ./configure --disable-doc \ @@ -40,7 +40,7 @@ RUN ./bootstrap \ && make install # To run the config generator, need: -WORKDIR /deployment +WORKDIR ~/deployment RUN export TALER_CONFIG_ENV="test" \ && export TALER_CONFIG_CURRENCY="EUR" \