Michael Bischof wrote: > Am Samstag, 31. März 2007 13:08 schrieb Markus Schönhaber: > > rename .war .tar.gz *.war > > > > BTW: Wenn es sich bei den .war-Dateien um WebARchive handelt (also Zeug, > > das für Servlet-Container gedacht ist), sind das ZIP-Dateien. > > 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. Deswegen auch das "vergiß mein BTW" an anderer Stelle in diesem Thread. Gruß mks
-- ---------------------------------------------------------------------------- PUG - Penguin User Group Wiesbaden - http://www.pug.org
