OK, I got it to work. Sorry.
For some reason i had to gunzip it twice, that is: gunzip pgp.xml.gz to
pgp.xml, then rename pgp.xml to pgp.xml.gz and gunzip that.
On Thursday, October 24, 2013 11:38:58 AM UTC-7, Carlos Carroll wrote:
>
> 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]>
>>
>>
_______________________________________________
graph-tool mailing list
[email protected]
http://lists.skewed.de/mailman/listinfo/graph-tool
