Hi Martin,
> Are you sure the file is really gzipped ?
>
> try "file XXXX.tar.gz"
>
> we have an odd problem where our institution firewall automatically
> decompresses .gz files but does not change the suffix - this can cause
> problems.
Yes, the files are gzip files (I've checked just now to very, very
sure). I would get completely other errors if they weren't.
frank
|