On Tue, Nov 19, 2002 at 04:05:53PM +0100, Artur Hefczyc spake thus:
> MessageHi,
>
> Could you send more info about your problem?
> In particular:
> 1. full name of file you downloading.
> 2. what command you call for unpacking package
> (please send details: command name with options).
> 3. full error message.
>
> Maybe application you use for downloading unpacks file
> during download time and indeed you have file in 'tar' format
> instead of 'tar.gz' format.
> Check file size before (on the server) and after download.
> If differs try to change extension from tar.gz to tar and
> use tar only.
> If downloaded file size is smaller than stored on the server
> it means it is truncated. You have troubles with downloading them.
> Change application for downloading files.
>
> And last advice:
> you can try to use my JDEE installation script. It downloads
> last JDEE version and all necessary libraries, unpacks them,
> compiles and install in given directory.
> I sent it to this discussion list 2 days ago. If you have troubles
> with searching archives I can send it again to private e-mail
> address.
>
> I also use JDEE and all libraries on Linux box and have almost
> no problems.
I'd just like to add to Artur's recommendation that you can use the
'file' command to get an idea of the file format; regardless of what the
file name is after downloading, you'll get different output for tar
files and gzip files:
ig88:/tmp$ file foo.tar
foo.tar: GNU tar archive
ig88:/tmp$ gzip foo.tar
ig88:/tmp$ file foo.tar.gz
foo.tar.gz: gzip compressed data, deflated, original filename, `foo.tar', last
modified: Tue Nov 19 10:20:50 2002, os: Unix
-Al
--
Alan D. Salewski, Programmer
Charles Jones, LLC
e-mail: [EMAIL PROTECTED]
