diff options
Diffstat (limited to 'packaging/debian-docker/Dockerfile')
| -rw-r--r-- | packaging/debian-docker/Dockerfile | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/packaging/debian-docker/Dockerfile b/packaging/debian-docker/Dockerfile index 181bbd9..98b2a66 100644 --- a/packaging/debian-docker/Dockerfile +++ b/packaging/debian-docker/Dockerfile @@ -23,20 +23,16 @@ RUN pip install sphinx_rtd_theme RUN npm install -g npm RUN /usr/local/bin/npm install -g npm pnpm node -COPY taler.list /etc/apt/sources.list.d/ -COPY taler-systems.gpg.key /root -RUN apt-key add /root/taler-systems.gpg.key - RUN apt-get update RUN apt-get -y upgrade RUN apt-get -y dist-upgrade COPY gnunet-build.sh /root/ RUN chmod +x /root/gnunet-build.sh -RUN /root/gnunet-build.sh v0.18.1-deb +RUN /root/gnunet-build.sh master COPY taler-build.sh /root/ RUN chmod +x /root/taler-build.sh -RUN /root/taler-build.sh v0.9.0 +RUN /root/taler-build.sh master COPY sync-build.sh /root/ RUN chmod +x /root/sync-build.sh RUN /root/sync-build.sh master |