Skip to content
Snippets Groups Projects
Commit 5eaf588d authored by Mateusz Gniewkowski's avatar Mateusz Gniewkowski
Browse files

Update Dockerfile

parent ed14d555
No related merge requests found
Pipeline #2896 failed with stage
in 1 minute and 50 seconds
...@@ -8,7 +8,7 @@ RUN apt-get -y update && \ ...@@ -8,7 +8,7 @@ RUN apt-get -y update && \
# apt-key adv --keyserver hkp://keyserver.ubuntu.com:80 --recv-key 612DEFB798507F25 && \ # apt-key adv --keyserver hkp://keyserver.ubuntu.com:80 --recv-key 612DEFB798507F25 && \
# apt-get update && apt-get install -y python-graph-tool # apt-get update && apt-get install -y python-graph-tool
RUN wget https://downloads.skewed.de/graph-tool/packages/xenial/python-graph-tool_2.27-1_amd64.deb && \ RUN wget https://downloads.skewed.de/apt/pool/main/p/python-graph-tool/python-graph-tool_2.27-1_amd64-stretch.deb && \
apt-get install -y ./python-graph-tool*.deb && \ apt-get install -y ./python-graph-tool*.deb && \
rm *.deb rm *.deb
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment