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.
Umbenannt kann man sie leicht unter Linux mit ark öffnen und entpacken. Unter Windows geht das mit izarc und winrar, nicht aber mit 7zip. Weitere habe ich noch nicht probiert. Da es unter Windows nur mit GUI geht ist es sehr viel langsamer als unter Linux - immer meine Rede: das ist eben nicht für Anfänger und es ist einfach nicht komfortabel. Danke Dir, Markus! Gruß, Michael Bischof
-- ---------------------------------------------------------------------------- PUG - Penguin User Group Wiesbaden - http://www.pug.org
