wok diff linux-source/stuff/get-linux-source @ rev 12052

jssame: remvoed extension in desktop file, added icon
author Samuel Trassare <samuel_trassare@yahoo.com>
date Wed Mar 07 17:42:29 2012 -0800 (2012-03-07)
parents 14a02389406d
children 181077a51c57
line diff
     1.1 --- a/linux-source/stuff/get-linux-source	Fri Sep 02 14:26:45 2011 +0200
     1.2 +++ b/linux-source/stuff/get-linux-source	Wed Mar 07 17:42:29 2012 -0800
     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