25 |
then |
then |
26 |
echo "building efiboot.img" |
echo "building efiboot.img" |
27 |
# the content of the img should be /EFI/BOOT* and not /BOOT/*, so we need to copy the content in a temp dir |
# the content of the img should be /EFI/BOOT* and not /BOOT/*, so we need to copy the content in a temp dir |
28 |
sudo mount -o loop $(pwd)/$distarch/efiboot.img /tmp/loop |
mkdir -p /tmp/{loop,remaster} |
29 |
|
sudo mount -o loop $(pwd)/$distarch/images/efiboot.img /tmp/loop |
30 |
sudo cp -a $(pwd)/$distarch/EFI/BOOT/grub.cfg /tmp/loop/EFI/BOOT/ |
sudo cp -a $(pwd)/$distarch/EFI/BOOT/grub.cfg /tmp/loop/EFI/BOOT/ |
31 |
sudo umount /tmp/loop |
sudo umount /tmp/loop |
32 |
# sudo rm -rf /tmp/efiboot |
# sudo rm -rf /tmp/efiboot |