post_install() {
	
	cat << EOF
    
    UEFI Shell v2 binaries are installed at /usr/share/uefi-shell/*.efi
    
EOF
	
}

post_upgrade() {
	
	post_install
	
}