wok-next rev 11281
linux-source: try some mirrors
author | Pascal Bellard <pascal.bellard@slitaz.org> |
---|---|
date | Thu Nov 10 15:34:23 2011 +0100 (2011-11-10) |
parents | 95ddbd72ff61 |
children | 9fbc2cf092bf |
files | linux-source/stuff/get-linux-source |
line diff
1.1 --- a/linux-source/stuff/get-linux-source Thu Nov 10 11:20:29 2011 +0000 1.2 +++ b/linux-source/stuff/get-linux-source Thu Nov 10 15:34:23 2011 +0100 1.3 @@ -6,6 +6,10 @@ 1.4 VERSION=XXX 1.5 1.6 url=$(cat /usr/src/kernel-patches/slitaz/url) 1.7 +for i in http://linux-kernel.uio.no/pub http://www.gtlib.gatech.edu/pub/kernel.org http://www.kernel.org/pub ; do 1.8 + busybox wget -s $url && break 1.9 + url=$(echo $url | sed "s|.*/linux/kernel|$i/linux/kernel|") 1.10 +done 1.11 1.12 if [ ! -d $SOURCES_REPOSITORY ]; then 1.13 mkdir -p $SOURCES_REPOSITORY