The file is gzipped twice. Try these commands on Mac OS X or Linux:
wget http://lists.rabbitmq.com/pipermail/rabbitmq-discuss/2011-May.txt.gz gzip -d 2011-May.txt.gz You should end up with the file 2011-May.txt which is plain text. On my system, wget is properly saving a singly-gzipped file which decompresses to plain text.
If you have the double-gzipped file already, you can run this command:
gzip -cd 2011-May.txt.gz | gzip -cd > 2011-May.txt This will decompress the file twice and write it. Alternatively, on Windows 7, you should be able to use 7zip to decompress the gzipped file, then open it again with 7zip and decompress it again. You should be left with the uncompressed file.
If you have a large number of files like this in one directory, you could do something like this:
for file in *.gz; do mv $file $file.gz; done; gunzip *.gz gunzip *.gz This will rename all files that end in *.gz to *.gz.gz, then run gunzip on them twice.