| 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 |
sudo mount -o loop $(pwd)/$distarch/images/efiboot.img /tmp/loop |
| 29 |
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/ |
| 30 |
sudo umount /tmp/loop |
sudo umount /tmp/loop |
| 31 |
# sudo rm -rf /tmp/efiboot |
# sudo rm -rf /tmp/efiboot |
Parent Directory
| 
Revision Log
| 
Revision Graph
| 
Patch
