Date: Mon, 13 Apr 2015 18:20:12 +0300
From: tiago@skewed.de
To: graph-tool@skewed.de
Subject: Re: [graph-tool] unable to load pgp.xml

On 13.04.2015 09:57, ¿¡ ÕÔ wrote:
> i solved it
>
> i have to gunzip the file twice!
>
> first you should download the file pgp.xml.gz from the link mentioned before
>
> -gunzip pgp.xml.gz to pgp.xml
> -rename pgp.xml to pgp.xml.gz
> -gunzip pgp.xml.gz to pgp.xml
>
> after finishing above 3 steps, you can run gt_bench.py to test performance
 
Do you use firefox? This might be due to a bug:
https://bugzilla.mozilla.org/show_bug.cgi?id=610679
 
The file is downloaded correctly if I use wget.
 
Best,
Tiago
 
-- 
Tiago de Paula Peixoto <tiago@skewed.de>
 

_______________________________________________ graph-tool mailing list graph-tool@skewed.de http://lists.skewed.de/mailman/listinfo/graph-tool