summaryrefslogtreecommitdiff
path: root/Dockerfile_gudhi_installation
diff options
context:
space:
mode:
authorVincent Rouvreau <10407034+VincentRouvreau@users.noreply.github.com>2021-01-20 11:17:03 +0100
committerGitHub <noreply@github.com>2021-01-20 11:17:03 +0100
commit7f2709ea12124f514c29b10019558ba3e3ee0975 (patch)
tree82ab9568e3c5fe275773fad49243f31a16e5b038 /Dockerfile_gudhi_installation
parentca18cc5ab72eaf133adcd8b5bcde794ff8166384 (diff)
parent60907b0104a2807667f175d9a8a328fd3f7f4ec8 (diff)
Merge pull request #447 from VincentRouvreau/cgal_5_2_for_ci
CGAL 5.2 for pip and CI
Diffstat (limited to 'Dockerfile_gudhi_installation')
-rw-r--r--Dockerfile_gudhi_installation2
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 \