[arch-releng] sourceforge download issues

Mr Green mrgreen at archbang.org
Sun Jul 19 12:10:59 UTC 2015

Not sure if it is my connection but efi download from sourceforge is not
working at the moment. Using....

# EFI Shell 2.0 for UEFI 2.3+ (
http://sourceforge.net/apps/mediawiki/tianocore/index.php?title=UEFI_Shell )
    curl -o ${work_dir}/iso/EFI/shellx64_v2.efi
    # EFI Shell 1.0 for non UEFI 2.3+ (
http://sourceforge.net/apps/mediawiki/tianocore/index.php?title=Efi-shell )
    curl -o ${work_dir}/iso/EFI/shellx64_v1.efi


More information about the arch-releng mailing list