Are there "non-system" EFI partitions? in that case /system/ is redundant. What do you think about just using "EFI partition" ? afterall, it's something meant for UEFI firmware to look for and execute - which might be a bootloader, firmware upgrader tools, or shell, or efi games =)))
-- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1283493 Title: Name "EFI boot partition" is non-standard To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/partman-efi/+bug/1283493/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
