diff options
| author | Erich Eckner <git@eckner.net> | 2016-10-08 09:07:13 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2016-10-08 09:07:13 +0200 |
| commit | dc495b40a9210b33d59949a739c875c14e791d66 (patch) | |
| tree | c041be5cb75c38aaaf2d75c8782fac6ddd2dd144 | |
| parent | 1018e7b2ab1393f1a75a2f0a611d485ccaf3220b (diff) | |
| download | makekernel-dc495b40a9210b33d59949a739c875c14e791d66.tar.xz | |
ignore Proxy if unavailable
| -rw-r--r-- | makekernel.in | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/makekernel.in b/makekernel.in index 99e375c..dca67b6 100644 --- a/makekernel.in +++ b/makekernel.in @@ -17,8 +17,8 @@ usage () { } dlExVer () { - wget -nd "${proxyPrefix}$1.xz" - wget -nd "${proxyPrefix}$1.sign" + wget -nd "${proxyPrefix}$1.xz" || wget -nd "$1.xz" + wget -nd "${proxyPrefix}$1.sign" || wget -nd "$1.sign" xz -d "$2.xz" if ! gpg --verify $2{.sign,} then |