taler-deployment

commit 3f791c49fe6441e3275883386c6217665795970f
parent 99dad08ed3510a1c34a265b4527715918bfe6ea0
Author: Marcello Stanisci <marcello.stanisci@inria.fr>
Date:   Fri, 23 Dec 2016 13:44:34 +0100

Getting rid of tilde notation for home directory in taler/base

Diffstat:
M
docker/base/Dockerfile
 | 
6
+++---

1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/docker/base/Dockerfile b/docker/base/Dockerfile
@@ -27,14 +27,14 @@ 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 $HOME/gnunet
 
 RUN ./bootstrap \
     && ./configure --with-libgnurl=/usr/local/ \
     && make \
     && make install
 
-WORKDIR ~/libmicrohttpd
+WORKDIR $HOME/libmicrohttpd
 
 RUN ./bootstrap \
     && ./configure --disable-doc \
@@ -42,7 +42,7 @@ RUN ./bootstrap \
     && make install
 
 # To run the config generator, need:
-WORKDIR ~/deployment
+WORKDIR $HOME/deployment
 
 RUN export TALER_CONFIG_ENV="test" \
     && export TALER_CONFIG_CURRENCY="EUR" \