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>