RE: .gz files

[PJ Durai <duraip@extendsys.com>]

I have had different kind of problem with one of the files before. It
downloaded with a gz extension. But gunzip (cygnus) failed to unpack it.
Then I found out that it was just plain PS file but with a gz extension. I
just renamed it to .ps and it opened in ghostscript just fine.

pj

> -----Original Message-----
> From: Shriram Krishnamurthi [mailto:shriram@cs.rice.edu]
> Sent: Friday, January 14, 2000 8:03 AM
> To: Gerhard Bitsch
> Cc: plt-scheme@fast.cs.utah.edu
> Subject: .gz files
> 
> 
> Hi Dr Bitsch,
> 
> 1. You can download the Cygwin32 package from Cygnus (or whatever they
> go by, these days).  It used to be available from www.cygnus.com.  It
> basically gives you a bunch of Unix utilities under Windows -- gzip,
> gunzip, tar, ls, bash [the shell], etc -- which are quite useful to
> have around anyway.
> 
> 2. You can use the gunzip procedure written in Scheme by Matthew
> Flatt.  Please search for "gunzip" in Help | Help Desk.  Remember to
> run the instructions in green at the top of the documentation page.
> 
> 3. In general, when you download documentation, Help Desk will
> automatically take care of the extraction process for you.  I'm not
> sure why this isn't happening for you.
> 
> 'shriram
>