diff --git a/debian/create.efi.device.sh b/debian/create.efi.device.sh index abbb1a1..e526094 100755 --- a/debian/create.efi.device.sh +++ b/debian/create.efi.device.sh @@ -1,5 +1,14 @@ #!/bin/sh +# Mostly intended to be used to create a boot device with an USB key + +# Ask the device to use for EFI partition +# Create partition label and new partition if not present +# Format the partition +# Create the mountpoint and mount the partition +# Add an entry in /etc/fstab with systemd-automount +# Install efibootmgr and efivar to be able to manage EFI entries + EFI_MOUNTPATH="/boot/efi" # Show a warning if not in a chroot (a rescue/chroot mode is mostly attempted) @@ -8,7 +17,8 @@ if ! ischroot; then fi # Select the future EFI partition -printf "%b" "Select device and partition to use for UEFI Stub (eg. /dev/sdd1) :\n" +printf "%b" "All data on the selected device will be deleted ! Be sure to know what you are doing !\n" +printf "%b" "Select device and partition to use for UEFI Stub (eg. /dev/sdX1) :\n" read -r EFI_PARTITION # Test if partition exists