diff options
| -rw-r--r-- | makekernel.8.in | 3 | ||||
| -rw-r--r-- | makekernel.conf.in | 1 | ||||
| -rw-r--r-- | makekernel.in | 4 |
3 files changed, 6 insertions, 2 deletions
diff --git a/makekernel.8.in b/makekernel.8.in index d703aa8..e8de042 100644 --- a/makekernel.8.in +++ b/makekernel.8.in @@ -27,6 +27,9 @@ The configfile \fB#ETCDIR#/makekernel.conf\fP is a bash script, which defines th .B "kernelDir" Directory which contains the source tree(s) of the kernel(s). .TP +.B "proxyPrefix" +Prefix for urls to download via a proxy. +.TP .B "before_install_hook" Function to execute before installing the kernel. .TP diff --git a/makekernel.conf.in b/makekernel.conf.in index a5053c0..0447cad 100644 --- a/makekernel.conf.in +++ b/makekernel.conf.in @@ -1,6 +1,7 @@ #!/bin/bash kernelDir=#SRCDIR#/kernel +proxy='http://mirror.home.eckner.net/' before_install_hook() { mount -o remount,rw /boot 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 |