diff options
| author | Marcello Stanisci <marcello.stanisci@inria.fr> | 2016-12-23 13:44:34 +0100 |
|---|---|---|
| committer | Marcello Stanisci <marcello.stanisci@inria.fr> | 2016-12-23 13:44:34 +0100 |
| commit | 3f791c49fe6441e3275883386c6217665795970f (patch) | |
| tree | c86f0b46e5fa55c176041e9e3ae810c6d5917582 /docker/base | |
| parent | 99dad08ed3510a1c34a265b4527715918bfe6ea0 (diff) | |
| download | deployment-3f791c49fe6441e3275883386c6217665795970f.tar.gz deployment-3f791c49fe6441e3275883386c6217665795970f.tar.bz2 deployment-3f791c49fe6441e3275883386c6217665795970f.zip | |
Getting rid of tilde notation for home directory in taler/base
Diffstat (limited to 'docker/base')
| -rw-r--r-- | docker/base/Dockerfile | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/docker/base/Dockerfile b/docker/base/Dockerfile index ebcc5d1..a68d275 100644 --- 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" \ |