yes, using wget can download the file correctly when i tried just now i am using fedora 21, firefox 37.0.1 and chrome 41.0.2272.101, both of whick have the problem i mentioned above thanks Zhao Jun 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