public/warp4j
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases 5 Wiki Activity

feat: Improve java archive recognition

Browse Source
This commit is contained in:
Serge Guzik 2019-02-14 17:34:35 +02:00
parent 43460d2f67
commit bc8088402d
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
warp4j Executable file → Normal file
View File

@ -210,7 +210,8 @@ if [[ ! -e $JAR ]]; then
fi fi
# checking file is actually java archive # 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 [[ $JAR_EXTENSION_LOWERCASE != "jar" ]]; then
echo "Error: File \"$JAR\" is not a java archive" >&2 echo "Error: File \"$JAR\" is not a java archive" >&2
exit 1 exit 1