diff options
author | Erich Eckner <git@eckner.net> | 2016-09-24 21:45:39 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2016-09-24 21:52:51 +0200 |
commit | 2caa0ca771a397aeb27a8e93fc6d8c4b73ee14b5 (patch) | |
tree | b9e7df8f08941bf3fed470a6da2daa6676bed4e9 /makekernel.in | |
parent | 34e4fcf9464be8fbbdd986651da939a2ff10ad1b (diff) | |
download | makekernel-2caa0ca771a397aeb27a8e93fc6d8c4b73ee14b5.tar.xz |
kann jetzt auch proxy
Diffstat (limited to 'makekernel.in')
-rw-r--r-- | makekernel.in | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/makekernel.in b/makekernel.in index b0a7dfa..99e375c 100644 --- a/makekernel.in +++ b/makekernel.in @@ -17,8 +17,8 @@ usage () { } dlExVer () { - wget -nd "$1.xz" - wget -nd "$1.sign" + wget -nd "${proxyPrefix}$1.xz" + wget -nd "${proxyPrefix}$1.sign" xz -d "$2.xz" if ! gpg --verify $2{.sign,} then |