diff options
author | Gard Spreemann <gspr@nonempty.org> | 2021-01-22 11:18:49 +0100 |
---|---|---|
committer | Gard Spreemann <gspr@nonempty.org> | 2021-01-22 11:18:49 +0100 |
commit | 6bf896c177b7b81ee7cf6e9c4f184445f4e54de0 (patch) | |
tree | 57b9b4890ff78b5e05f4f3fd8bba82278d7e0bde /Dockerfile_gudhi_installation | |
parent | c108cc1b75a4feac787aa60ca1263208068149cb (diff) | |
parent | 2c221bfcf8effff9b010de8b2e13a22f6bc15201 (diff) |
Merge branch 'dfsg/latest' into debian/sid
Diffstat (limited to 'Dockerfile_gudhi_installation')
-rw-r--r-- | Dockerfile_gudhi_installation | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Dockerfile_gudhi_installation b/Dockerfile_gudhi_installation index ebd21f8d..b0e46d72 100644 --- a/Dockerfile_gudhi_installation +++ b/Dockerfile_gudhi_installation @@ -68,7 +68,7 @@ RUN pip3 install \ scikit-learn # apt clean up -RUN apt autoremove && rm -rf /var/lib/apt/lists/* +RUN apt-get autoremove && rm -rf /var/lib/apt/lists/* RUN curl -LO "https://github.com/GUDHI/gudhi-devel/releases/download/tags%2Fgudhi-release-3.3.0/gudhi.3.3.0.tar.gz" \ && tar xf gudhi.3.3.0.tar.gz \ |