So that is to pull the docket image. I would like the source to the original Dockerfile which is not included on that wiki pageĀ 

On Wed, Jul 26, 2017 at 11:15 PM Tiago Peixoto [via Main discussion list for the graph-tool project] <[hidden email]> wrote:
On 26.07.2017 17:10, matthewcampbell wrote:
> So the docker file is not in the source code git repo or in the
> documentation. Can you please just add the "Dockerfile" to the main repo.

No, this is distribution related stuff, and does not belong to the main
repository.

As I already mentioned, I already put a link to it in the wiki:

https://git.skewed.de/count0/graph-tool/wikis/Installation-instructions

--
Tiago de Paula Peixoto <[hidden email]>


_______________________________________________
graph-tool mailing list
[hidden email]
https://lists.skewed.de/mailman/listinfo/graph-tool

signature.asc (849 bytes) Download Attachment
--
Tiago de Paula Peixoto <[hidden email]>


If you reply to this email, your message will be added to the discussion below:
http://main-discussion-list-for-the-graph-tool-project.982480.n3.nabble.com/Graph-tool-with-Docker-tp4027269p4027314.html
To unsubscribe from Graph-tool with Docker, click here.
NAML


View this message in context: Re: Graph-tool with Docker
Sent from the Main discussion list for the graph-tool project mailing list archive at Nabble.com.