You are not logged in.
Attempting to dual boot with Windows 10. Windows 10 automatically creates an ESP for itself that the wiki (https://wiki.archlinux.org/index.php/Du … FI_systems) states can be used as a storage area for GRUB. After following the instructions on the installation page, I correctly mounted my arch partition to /mnt and the ESP to /mnt/boot. Attempting to run "pacman -S linux" returns the error of there being insufficient space in the partition, as does "grub-mkconfig -o /boot/grub/grub.cfg". Is there a way to expand the ESP or an alternative method I should be using?
Apologies if this is simple / if I have omitted anything.
Offline
Offline
Windows lists it as 100MB
Offline