[packages/efi-shell.git] / shell_x64.efi-boot-update

ENABLED=yes
LABEL="EFI Shell (64 bit)"
ARCH=x64
BINARY=/EFI/SHELLX64.EFI

install_files () {

	update_file /lib/efi/x64/Shell.efi /boot/efi/EFI/SHELLX64.EFI
}
Commit	Line	Data
5295e697 JK	1	ENABLED=yes
	2	LABEL="EFI Shell (64 bit)"
	3	ARCH=x64
	4	BINARY=/EFI/SHELLX64.EFI
	5
	6	install_files () {
	7
	8	update_file /lib/efi/x64/Shell.efi /boot/efi/EFI/SHELLX64.EFI
	9	}