Initially, that was enough to install 2 kernels but now the kernels+initrd are over 75MB and I get disk space errors during upgrades (because apt adds the new files before removing the old ones). I cannot easily grow the /boot partition because it is immediately followed by a large encrypted+LVM partition. Fortunately, I noticed that before /boot there is a large 512MB partition /boot/efi that is mostly empty. I was able to shrink the EFI partition thus leaving a hole of 479MB before /boot
So my plan is to move /boot into that large hole. This is the easy part but then my problem will be that I do not know how EFI and grub are interacting.# fdisk -l /dev/sdb
...
/dev/sdb1 2048 67968 65921 32.2M EFI System
/dev/sdb2 1050624 1550335 499712 244M Linux filesystem
/dev/sdb3 1550336 488396799 486846464 232.2G Linux filesystem
I assume that the EFI bios is simply running the GRUB executable in /boot/efi/EFI/debian/grubx64.efi
Will GRUB be able to find the new /boot partition?
Do I need to run update-grub?
Do I need to run grub-install and if so with some argument?
So what I have in mind is:
- remount /boot as /oldboot
- create the new /boot partition and copy files from /oldboot
- edit the UUID of /boot in /etc/fstab
- execute update-grub
- execute grub-install (with some options?)