2017-06-19 13:00:05 +00:00
|
|
|
#!/bin/bash
|
2019-03-21 00:29:27 -01:00
|
|
|
# Do install stuff for armel
|
|
|
|
|
# Works with debian-installer
|
|
|
|
|
#
|
|
|
|
|
# $1 is the CD number
|
|
|
|
|
# $2 is the temporary CD build dir
|
|
|
|
|
#
|
|
|
|
|
# This is copied from the old arm script and it is currently disabled as there
|
|
|
|
|
# don't seem to be any CD-bootable armel/armhf machines.
|
|
|
|
|
|
|
|
|
|
. $BASEDIR/tools/boot/$DI_CODENAME/common.sh
|
|
|
|
|
|
|
|
|
|
N=$1
|
|
|
|
|
CDDIR=$2
|
|
|
|
|
INSTALLDIR="install"
|
|
|
|
|
|
|
|
|
|
# Common options for all disks
|
|
|
|
|
add_mkisofs_opt $CDDIR/../$N.mkisofs_opts "-J -joliet-long"
|
|
|
|
|
add_mkisofs_opt $CDDIR/../$N.mkisofs_opts "-cache-inodes"
|
|
|
|
|
add_mkisofs_opt $CDDIR/../$N.mkisofs_opts "-l"
|
|
|
|
|
|
|
|
|
|
# Exit if this is not CD#1/DVD#1
|
|
|
|
|
if [ $N != "1" ]; then
|
|
|
|
|
exit 0
|
|
|
|
|
fi
|
|
|
|
|
|
|
|
|
|
if [ "$DI_WWW_HOME" = "default" ]; then
|
|
|
|
|
DI_WWW_HOME="https://d-i.debian.org/daily-images/armel/daily"
|
|
|
|
|
try_di_image_cache
|
|
|
|
|
else
|
|
|
|
|
DI_WWW_HOME=$(echo $DI_WWW_HOME | sed "s,%ARCH%,$ARCH,")
|
|
|
|
|
fi
|
|
|
|
|
|
|
|
|
|
# armel is currently not bootable directly from CD/DVD/USB, and
|
|
|
|
|
# there's not a lot we can do about that. But add the needed files in
|
|
|
|
|
# the right place so that users can find them, at least
|
|
|
|
|
copy_arch_images
|
