[fix] : shell filename

Hayao0819 · Hayao0819 · commit cd8549cc1b2c · 2020-10-12T22:24:09.000+09:00
diff --git a/build.sh b/build.sh
@@ -1111,7 +1111,7 @@ make_efi() {
 
     local _efi_shell_arch
     for _efi_shell_arch in "${work_dir}"/${arch}/airootfs/usr/share/edk2-shell/*; do
-        cp "${_efi_shell_arch}/Shell_Full.efi" "${work_dir}/iso/shell_${_efi_shell_arch}.efi"
+        cp "${_efi_shell_arch}/Shell_Full.efi" "${work_dir}/iso/shell_$(basename ${_efi_shell_arch}).efi"
     done
 }
 

Original file line number	Diff line number	Diff line change
`@@ -1111,7 +1111,7 @@ make_efi() {`
`1111`	`1111`
`1112`	`1112`	`local _efi_shell_arch`
`1113`	`1113`	`for _efi_shell_arch in "${work_dir}"/${arch}/airootfs/usr/share/edk2-shell/*; do`
`1114`		`- cp "${_efi_shell_arch}/Shell_Full.efi" "${work_dir}/iso/shell_${_efi_shell_arch}.efi"`
	`1114`	`+ cp "${_efi_shell_arch}/Shell_Full.efi" "${work_dir}/iso/shell_$(basename ${_efi_shell_arch}).efi"`
`1115`	`1115`	`done`
`1116`	`1116`	`}`
`1117`	`1117`