From 95f97b73d10430c7ec6f0a420ed937ba3d0f4aaf Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Andreas=20K=C3=B6hler?= Date: Sat, 14 Jun 2014 16:03:23 +0200 Subject: [PATCH] Recognize "Java archive data (JAR)" as zip archive. The 'file' utility determine the file type differently: till file-5.16 - Java Jar file data (zip) since file-5.17 - Java archive data (JAR) Signed-off-by: Andrew Borodin --- misc/mc.ext.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/misc/mc.ext.in b/misc/mc.ext.in index 68c6819d5..d319cd617 100644 --- a/misc/mc.ext.in +++ b/misc/mc.ext.in @@ -691,7 +691,7 @@ type/i/^zip\ archive View=%view{ascii} @EXTHELPERSDIR@/archive.sh view zip # jar(zip) -type/i/^Java\ Jar\ file\ data\ \(zip\) +type/i/^Java\ (Jar\ file|archive)\ data\ \((zip|JAR)\) Open=%cd %p/uzip:// View=%view{ascii} @EXTHELPERSDIR@/archive.sh view zip