Decompressing files
 

how can i decompress main.gz from this page 7-zip wont read them
[URL]http://cage.ugent.be/~jdemeyer/cunningham/[/URL]

the "gz" files are not zipped!

they're *.txt. rename them only!

[quote=kar_bon;124986]the "gz" files are not zipped!

they're *.txt. rename them only![/quote]
No, no--they aren't just raw text files. They're compressed, but not with the zip algorithm. They're compressed with the gzip algorithm, which is sort of like the Unix/Linux counterpart of zip.

It can be decompressed on Windows with most freeware compression programs, such as [url=http://www.7-zip.com]7-zip[/i]. You can also decompress it with a Windows port of the Linux "gunzip" command; such a port can be found at [url]http://unxutils.sourceforge.net[/url].

sorry,
i downloaded them (with IE) and:
the file size on the page: 1.610.614 bytes
downloaded size: 3.660.535 bytes
so IE seems to write them as text!

My version of 7-zip can read it just fine. Do you have an old version or something? You should try opening the files both in notepad (or similar), and 7-zip. Maybe your browser is converting it from a .gz'd .txt file to plain .txt file when you save it to your drive. Maybe it's not.
In my version of Firefox, it saves the file as .gz. If I save it, either by right click on link > save or go to the page > file > save, it saves it encoded as .gz that opens just fine in 7-zip. If I go to the page, it displays as plain text in Firefox.

Oh, duh, now I feel like an idiot: somehow I missed the part in henryzz's post that said 7-zip wouldn't open it, so I recommended he try 7-zip! :blush:

Hmm...maybe if IE's not downloading it correctly, you could try Firefox? (Assuming you have a copy of Firefox that is.)

Random linux-system-at-work handles it just fine via gzip -d:

[i][mayer@linux_foo ~]$ ll *gz
-rwx------ 1 mayer mygroup 1610614 2008-02-06 11:49 main.gz
[mayer@linux_foo ~]$ gzip -d main.gz
[mayer@linux_foo ~]$ ll main
-rwx------ 1 mayer mygroup 3660535 2008-02-06 11:49 main
[mayer@linux_foo ~]$ head main
(2,1-)
(2,1+) 3
(2,2-) 3
(2,2+) 5
(2,3-) 7
(2,3+) 3.3
(2,4-) 3.5
(2,4+) 17
(2,5-) 31
(2,5+) 3.11
[/i]

Since Linux seems to work fine on it, I'd be glad to decompress it and put it in a normal zip file for you. (I have Linux on my primary machine.) :smile: All I'll need is an email address to send it to you at.

after reading ur posts i realized it was in text format
how wierd

[QUOTE=henryzz;125024]after reading ur posts i realized it was in text format
how wierd[/QUOTE]

No, it's not - but some browsers are smart enough to decompress it on the fly.

When I look at the contents of the uncompressed main.gz file as saved-to-disk, they are gzip-style gibberish.

it was IE7 that did it for me