Yes, I did that (used gunzip), it gave the error I noted. Could you post
the xml file itself in a reply here? thanks.
On Thursday, October 24, 2013 10:07:10 AM UTC-7, Tiago Peixoto wrote:
>
> On 10/24/2013 06:41 PM, Carlos Carroll wrote:
> > Thanks for fixing the link. I can now download the 12MB file, but still
> can't load it in graph-tool (after extracting to pgp.xml):
> > Also, it doesn't appear to be in xml, but rather a binary file.
>
> It is a _gzipped_ xml file... Either save it as .xml.gz or unzip it,
> before trying to load it.
>
> Cheers,
> Tiago
>
> --
> Tiago de Paula Peixoto <[email protected] <javascript:>>
>
>
_______________________________________________
graph-tool mailing list
[email protected]
http://lists.skewed.de/mailman/listinfo/graph-tool
