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