| 7 |
#mirror="http://gluck.debian.org/debian" |
#mirror="http://gluck.debian.org/debian" |
| 8 |
mirror="http://ftp.debian.org/debian" |
mirror="http://ftp.debian.org/debian" |
| 9 |
nonus="http://non-us.debian.org/debian-non-US" |
nonus="http://non-us.debian.org/debian-non-US" |
|
wgetopt="-t 5 -q -N" |
|
| 10 |
|
|
| 11 |
umask 002 |
umask 002 |
| 12 |
set -e |
set -e |
| 27 |
# For timestamping to work, copy to .new (not link, wget will not break |
# For timestamping to work, copy to .new (not link, wget will not break |
| 28 |
# the link) |
# the link) |
| 29 |
cp -a $2 $2.new || true |
cp -a $2 $2.new || true |
| 30 |
wget $wgetopt -O $2.new $1 || \ |
# Beware that -N conflicts with -O (#88176, #202911) |
| 31 |
|
wget -q -O $2.new $1 || \ |
| 32 |
echo "Downloading $1 failed, $2 is stale now" |
echo "Downloading $1 failed, $2 is stale now" |
| 33 |
mv $2.new $2 |
mv $2.new $2 |
| 34 |
} |
} |
| 70 |
nice_wget http://merkel.debian.org/~hertzog/pts/bugs.txt bugs.txt |
nice_wget http://merkel.debian.org/~hertzog/pts/bugs.txt bugs.txt |
| 71 |
nice_wget http://merkel.debian.org/~hertzog/pts/sources sources |
nice_wget http://merkel.debian.org/~hertzog/pts/sources sources |
| 72 |
# Temporary measure because merkel is fucked |
# Temporary measure because merkel is fucked |
| 73 |
#wget $wgetopt -O bugs.txt http://www.wolffelaar.nl/~jeroen/pts.bugs.txt |
#nice_wget http://www.wolffelaar.nl/~jeroen/pts.bugs.txt bugs.txt |
| 74 |
#cp /org/bugs.debian.org/etc/indices/sources ./ |
#cp /org/bugs.debian.org/etc/indices/sources ./ |
| 75 |
cut -f1,3 sources >sources.map |
cut -f1,3 sources >sources.map |
| 76 |
touch -r sources sources.map |
touch -r sources sources.map |