25 Oct
2013
25 Oct
'13
2:19 p.m.
On 10/24/2013 08:46 PM, Carlos Carroll wrote:
OK, I got it to work. Sorry. For some reason i had to gunzip it twice, that is: gunzip pgp.xml.gz to pgp.xml, then rename pgp.xml to pgp.xml.gz and gunzip that.
I don't really understand why it would be "double-zipped"... I tried downloading it myself, and it seems normally "single-zipped". Cheers, Tiago -- Tiago de Paula Peixoto <tiago@skewed.de>