Slightly improve install.sh.

install.sh

@@ -78,6 +78,9 @@ make install
 apt -y autoremove
 
 
+echo -e '\nInstallation finished.\nType ^C (ctrl+C) to exit.\nType Enter to proceed to building the UEFI application.\n'
+read
+
 ## Build UEFI application
 # TODO: write a separate script: one to install stuff, the other to build the UEFI application
 
@@ -101,4 +104,4 @@ cp /etc/uefi-key/db.cer /EFI/db.cer
 cp /etc/uefi-key/db.cer /boot/efi/db.cer
 uefi=$(ls /EFI/Linux)
 
-efibootmgr --quiet --create --disk ${disk_info_list[0]} --label 'debian UEFI' --loader /EFI/Linux/$uefi
+efibootmgr --quiet --create --disk ${disk_info_list[0]} --label 'debian UEFI current' --loader /EFI/Linux/$uefi