Peppermint/debian-cd-clone
1
0
Fork 0
mirror of https://salsa.debian.org/images-team/debian-cd.git synced 2024-11-24 15:19:51 -01:00
Code Issues Packages Projects Releases Wiki Activity

If we're only doing EFI, copy the splash file from the BIOS boot dir

Browse Source
This commit is contained in:
Steve McIntyre 2015-02-02 23:47:46 +00:00
parent e4a3987cbe
commit aff1c7700d
1 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
tools/boot/jessie/boot-x86
View File

@ -442,6 +442,12 @@ if [ -d boot$N/isolinux/grub ] ; then
mv boot$N/isolinux/grub/* $CDDIR/boot/grub/
rmdir boot$N/isolinux/grub
# If we're only doing EFI, copy the splash file from the BIOS boot dir
if [ $BOOT_EFI = 1 ] ; then
mkdir -p $CDDIR/isolinux
cp boot$N/isolinux/splash.png $CDDIR/isolinux
fi
# Create grub menu entries to match the isolinux ones
sed -i '/^menuentry/Q' $CDDIR/boot/grub/grub.cfg;
$BASEDIR/tools/boot/$DI_CODENAME/parse_isolinux \