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: [email protected] To: [email protected] 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 <[email protected]> _______________________________________________ graph-tool mailing list [email protected] http://lists.skewed.de/mailman/listinfo/graph-tool
_______________________________________________ graph-tool mailing list [email protected] http://lists.skewed.de/mailman/listinfo/graph-tool
