Changeset 3538


Ignore:
Timestamp:
Mar 21, 2016, 7:14:02 PM (18 months ago)
Author:
bruno
Message:
  • By renaming the bootloader on the media following the guidelines given on https://wiki.debian.org/UEFI the mindi media is now directly bootable and present the menu directly.
File:
1 edited

Legend:

Unmodified
Added
Removed
  • branches/3.2/mindi/mindi

    r3536 r3538  
    22212221                bootconf="$efidir/syslinux.cfg"
    22222222            fi
     2223
     2224            # Depending on the arch, the target boot file is different
     2225            if [ "$ARCH" = "x86_64" ] ; then
     2226                tgbin="bootx64.efi"
     2227            elif [ "$ARCH" = "armv8" ]; then
     2228                tgbin="bootaa64.efi"
     2229            else
     2230                # i?386
     2231                tgbin="bootia32"
     2232            fi
    22232233        else
    22242234            # EFI
    22252235            efidir=$bootdir
    22262236            bootbin=`find /boot/efi -iname "elilo.efi" | head -1`
     2237            tgbin=$bootbin
    22272238            boottype=elilo
    22282239            bootconf="$efidir/elilo.conf"
     
    22422253        fi
    22432254        mkdir -p $efidir
    2244         cp $bootbin $efidir
     2255        cp $bootbin $efidir/$tgbin
    22452256        if [ $mountefi -eq 1 ]; then
    22462257            umount /boot/efi 2>&1 > /dev/null
Note: See TracChangeset for help on using the changeset viewer.