Decompressing files

henryzz · 2008-02-06, 17:35

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

kar_bon · 2008-02-06, 17:52

the "gz" files are not zipped!

they're *.txt. rename them only!

mdettweiler · 2008-02-06, 18:01

Quote:

Originally Posted by kar_bon

the "gz" files are not zipped!

they're *.txt. rename them only!

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 http://unxutils.sourceforge.net.

kar_bon · 2008-02-06, 18:33

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!

Mini-Geek · 2008-02-06, 18:37

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.

mdettweiler · 2008-02-06, 18:45

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!

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

ewmayer · 2008-02-06, 19:53

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

[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

mdettweiler · 2008-02-06, 19:58

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.)

All I'll need is an email address to send it to you at.

henryzz · 2008-02-06, 21:31

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

ewmayer · 2008-02-06, 23:21

Quote:

Originally Posted by henryzz

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

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.

henryzz · 2008-02-07, 07:36

it was IE7 that did it for me

2008-02-06, 17:35	#1
henryzz Just call me Henry "David" Sep 2007 Cambridge (GMT/BST) 1011011111000₂ Posts	Decompressing files how can i decompress main.gz from this page 7-zip wont read them http://cage.ugent.be/~jdemeyer/cunningham/

Similar Threads
Thread	Thread Starter	Forum	Replies	Last Post
Posting log files or other text files	Xyzzy	Forum Feedback	3	2018-12-30 19:37
Format for .alq files	schickel	Aliquot Sequences	5	2009-04-02 12:44
Help using .ini files only in v24	petrw1	PrimeNet	1	2008-10-15 03:24
Backup Files	Unregistered	Information & Answers	1	2008-05-30 03:30
Is there a way to... temp files...	dsouza123	Software	2	2004-03-07 01:28

2008-02-06, 17:52	#2
kar_bon Mar 2006 Germany B58₁₆ Posts	the "gz" files are not zipped! they're *.txt. rename them only!

2008-02-06, 18:33	#4
kar_bon Mar 2006 Germany 2³×3×11² Posts	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!

2008-02-06, 18:37	#5
Mini-Geek Account Deleted "Tim Sorbera" Aug 2006 San Antonio, TX USA 1000010101011₂ Posts	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.

2008-02-06, 18:45	#6
mdettweiler A Sunny Moo Aug 2007 USA (GMT-5) 3·2,083 Posts	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! Hmm...maybe if IE's not downloading it correctly, you could try Firefox? (Assuming you have a copy of Firefox that is.)

2008-02-06, 19:53	#7
ewmayer ∂²ω=0 Sep 2002 República de California 103×113 Posts	Random linux-system-at-work handles it just fine via gzip -d: [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

2008-02-06, 19:58	#8
mdettweiler A Sunny Moo Aug 2007 USA (GMT-5) 14151₈ Posts	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.) All I'll need is an email address to send it to you at.

2008-02-06, 21:31	#9
henryzz Just call me Henry "David" Sep 2007 Cambridge (GMT/BST) 2³·3·5·7² Posts	after reading ur posts i realized it was in text format how wierd

2008-02-07, 07:36	#11
henryzz Just call me Henry "David" Sep 2007 Cambridge (GMT/BST) 2³·3·5·7² Posts	it was IE7 that did it for me