Philip, wouldn't such a debconf question be closely related to the existing question on whether to install to the EFI removable media path?
Because if you're not putting things into EFI/ubuntu/ (or EFI/debian/), then you'd be putting them into EFI/BOOT/ ...
Philip, wouldn't such a debconf question be closely related to the existing question on whether to install to the EFI removable media path?
Because if you're not putting things into EFI/ubuntu/ (or EFI/debian/), then you'd be putting them into EFI/BOOT/ ...