From bc8088402d8b08a1606dd0c3c3100b35ee8834f7 Mon Sep 17 00:00:00 2001 From: Serge Guzik Date: Thu, 14 Feb 2019 17:34:35 +0200 Subject: [PATCH] feat: Improve java archive recognition --- warp4j | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) mode change 100755 => 100644 warp4j diff --git a/warp4j b/warp4j old mode 100755 new mode 100644 index 00f7ed1..7b88117 --- a/warp4j +++ b/warp4j @@ -210,7 +210,8 @@ if [[ ! -e $JAR ]]; then fi # checking file is actually java archive -if [[ $(file $JAR) != *"archive"* ]] || # it could be "Java archive data" or "Zip archive data" +if ([[ $(file $JAR) != *"Java"* ]] && # it could be "Java archive data" or "Java Jar file data (zip)" + [[ $(file $JAR) != *"Zip"* ]]) || # or "Zip archive data" [[ $JAR_EXTENSION_LOWERCASE != "jar" ]]; then echo "Error: File \"$JAR\" is not a java archive" >&2 exit 1