Last July, as a complete Linux noob, I bought a refurbished Dell e7470 with Windows 10 pro pre-installed. I followed instructions in this video (cued to disk partition steps) to install Pop_OS 20.04 to dual-boot with Windows 10: Pop!_OS 19.10 - Setting up a Dual Boot with Windows 10. It went well. Now I am thinking about removing Windows, and I am looking at my disk partitions to see what can be removed. Here is screenshot from GNOME Disks while running Pop:
I do not understand why the video had me create a new EFI partition (sda5) instead of using the ESP (sda1) that was pre-installed with Windows. I am wondering if that may cause problems, but, more importantly, whether I can use Disks to remove the Windows OS (sda3) as well as the ESP (sda1), recovery partition (sda4) and "Microsoft Reserved" (sda2). I do not want to do something wrong and end up with an un-bootable computer.
In case it is helpful, here is the output from
steve@pop-os:~$ sudo efibootmgr BootCurrent: 0003 Timeout: 2 seconds BootOrder: 0003,0000,0001,0004 Boot0000* Windows Boot Manager Boot0001* UEFI: SK hynix SC311 SATA 512GB, Partition 1 Boot0002* Pop!_OS 20.04 LTS Boot0003* Pop!_OS 20.04 LTS Boot0004* Linux Firmware Updater
Boot0001 seem to be the same -- Partition 1, as are
Boot0003 (partition 5).
I would like to know:
- Is this 2-EFI-partition setup acceptable?
- How would I safely (and as completely as possible) remove Windows 10?
- Will my system be bootable without ESP, ie, will it use Partition 5 which says it mounts at