~persia/debian-cd/mid.seed-cleanup

« back to all changes in this revision

Viewing changes to tools/boot/etch/boot-amd64

  • Committer: Colin Watson
  • Date: 2005-11-06 15:29:16 UTC
  • mfrom: (unknown (missing))
  • Revision ID: Arch-1:colin.watson@canonical.com--2005%debian-cd--ubuntu--0--patch-209
merge from upstream up to patch-787 (Debian 2.2.22)
Patches applied:

 * debian-cd@arch.ubuntu.com/debian-cd--MAIN--0--patch-782
   More fixes for the tasks branching.

 * debian-cd@arch.ubuntu.com/debian-cd--MAIN--0--patch-783
   Fixes for task branching coherency.

 * debian-cd@arch.ubuntu.com/debian-cd--MAIN--0--patch-784
   Allow the usage of a local mirror of the daily d-i buil...

 * debian-cd@arch.ubuntu.com/debian-cd--MAIN--0--patch-785
   Added example "testingcds" script, as used to create th...

 * debian-cd@arch.ubuntu.com/debian-cd--MAIN--0--patch-786
   Updated tasks files to match the latest testing CD/DVD build

 * debian-cd@arch.ubuntu.com/debian-cd--MAIN--0--patch-787
   Ready for version 2.2.22 and a sarge release!

Show diffs side-by-side

added added

removed removed

Lines of Context:
15
15
BOOTDIR=
16
16
if [ "$DI_WWW_HOME" = "default" ];then
17
17
   DI_WWW_HOME="http://debian-amd64.alioth.debian.org/debian-installer/daily"
 
18
   if [ -n "$DI_DIR" ];then
 
19
      DI_DIR="$DI_DIR/${DI_WWW_HOME##*/}"
 
20
      DI_WWW_HOME=""                     
 
21
   fi
18
22
fi
19
23
if [ ! "$DI_DIST" ]; then
20
24
   DI_DIST="$DI_CODENAME"
37
41
 
38
42
BOOT_IMAGES="cdrom/initrd.gz cdrom/vmlinuz cdrom/debian-cd_info.tar.gz"
39
43
 
 
44
echo mierda, joer -"$DI_WWW_HOME"-
40
45
# Download boot images.
41
46
for image in $BOOT_IMAGES; do
42
47
    if [ ! -e "$image" ]; then
45
50
        if [ -n "$LOCAL"  -a -f "${LOCALDEBS:-$MIRROR}/dists/$DI_DIST/local/installer-$ARCH/current/images/$image" ]; then
46
51
                cp "${LOCALDEBS:-$MIRROR}/dists/$DI_DIST/local/installer-$ARCH/current/images/$image" "$image"
47
52
        elif [ ! "$DI_WWW_HOME" ];then
48
 
                cp "$MIRROR/dists/$DI_DIST/main/installer-$ARCH/current/images/$image" "$image"
 
53
                if [ ! "$DI_DIR" ];then
 
54
                   DI_DIR="$MIRROR/dists/$DI_DIST/main/installer-$ARCH/current/images"
 
55
                fi
 
56
                cp "$DI_DIR/$image" "$image"
49
57
        else
50
58
                wget "$DI_WWW_HOME/$image" -O "$image"
51
59
        fi