Am Sonntag, 1. April 2007 15:42 schrieb Markus Schönhaber:
> Michael Bischof wrote:
> > Also das klappt mit dem Umbenennen. Es sind aber WebArchive, doch keine
> > zip-Dateien. Unter Linux gehen die nicht mit zip/unzip oder ark.
>
> Das bestreite ich ja nicht.
> Nochmal zur Klarstellung: Wir reden von zwei verschiedenen Arten von
> Dateien. Die .war-Files, die ich meine, sind ZIPs. Die .war-Files, die Du
> meinst, nicht.

Genau genommen sind das tar.gz Archive. Mit anderen Worten: Du müsstest sie 
also in whatever.tar.gz umbenennen.

Max

-- 
Max Trense -- [EMAIL PROTECTED] -- www.trense.info
-- 
----------------------------------------------------------------------------
PUG - Penguin User Group Wiesbaden - http://www.pug.org

Antwort per Email an