jegardai
/
scripts
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Add informations about what is done

This commit is contained in:
Jeremy Gardais 2021-01-08 11:02:41 +01:00
parent 0807f93750
commit a09ca66ac9
Signed by: jegardai
GPG Key ID: E759BAA22501AF32
1 changed files with 11 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
debian/create.efi.device.sh vendored
View File

@ -1,5 +1,14 @@
#!/bin/sh #!/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" EFI_MOUNTPATH="/boot/efi"
# Show a warning if not in a chroot (a rescue/chroot mode is mostly attempted) # Show a warning if not in a chroot (a rescue/chroot mode is mostly attempted)
@ -8,7 +17,8 @@ if ! ischroot; then
fi fi
# Select the future EFI partition # 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 read -r EFI_PARTITION
# Test if partition exists # Test if partition exists