support gentoo isolinux location

This commit is contained in:
parazyd 2017-05-15 18:16:44 +02:00
parent 46f32b43a4
commit 2ff881612c
No known key found for this signature in database
GPG Key ID: F0CB28FCF78637DE
1 changed files with 19 additions and 4 deletions

View File

@ -52,10 +52,25 @@ iso_setup_isolinux() {
sudo cp $strapdir/boot/vmlinuz* binary/live/vmlinuz
sudo cp $strapdir/boot/initrd* binary/live/initrd
sudo cp /usr/share/live/build/bootloaders/isolinux/isolinux.bin \
binary/isolinux || zerr
sudo cp /usr/share/live/build/bootloaders/isolinux/*.c32 \
binary/isolinux || zerr
eval $(cat /etc/os-release)
case "$ID" in
devuan)
sudo cp \
/usr/share/live/build/bootloaders/isolinux/isolinux.bin \
binary/isolinux || zerr
sudo cp /usr/share/live/build/bootloaders/isolinux/*.c32 \
binary/isolinux || zerr
;;
gentoo)
sudo cp \
/usr/share/syslinux/isolinux.bin binary/isolinux || zerr
sudo cp \
/usr/share/syslinux/*.c32 binary/isolinux || zerr
;;
*)
warn "no isolinux has been copied. take care of it yourself"
;;
esac
popd
}