diff options
| author | Lucas C. Villa Real <lucasvr@gmail.com> | 2018-01-30 14:12:36 -0200 |
|---|---|---|
| committer | Lucas C. Villa Real <lucasvr@gmail.com> | 2018-01-30 14:12:36 -0200 |
| commit | d2ba94f7a053be93b80d6c94ef1c1fe8ed22f9e1 (patch) | |
| tree | 96ce53924c843b6451d32c1c5252bf0f1da440f6 | |
| parent | fd2a71afa250971640da685604c7f17ef1897560 (diff) | |
| download | ThirdPartyInstallers-d2ba94f7a053be93b80d6c94ef1c1fe8ed22f9e1.tar.xz | |
Ignore archives not ending on .rpm or .deb
| -rwxr-xr-x | bin/ThirdPartyInstaller | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/bin/ThirdPartyInstaller b/bin/ThirdPartyInstaller index bb57445..33d6a2d 100755 --- a/bin/ThirdPartyInstaller +++ b/bin/ThirdPartyInstaller @@ -469,7 +469,9 @@ if echo "$@" | grep -q "\.rpm" && echo "$@" | grep -q "\.deb" then Die "Error: cannot handle both RPM and DEB files in one shot." elif echo "$@" | grep -q "\.rpm" then Import RPM -else Import DEB +elif echo "$@" | grep -q "\.deb" +then Import DEB +else Die "Error: this tool can only handle RPM and DEB archives." fi # The inputfiles array holds the full path of all RPM/DEB input files |