Chris Green <[email protected]> writes: > Anyway I created a gparted USB stick this afternoon and used it to > reduce the main (/) partition's size by 1.5Gb and added the resulting > extra space to the /boot partition. It took a **long** time to move > the 1Tb / partition along a bit (several hours) but it all worked very > smoothly and I now have lots of spare space in /boot.
Well, good for you. I would've booted boot since what's the point? It can just as well be a directory off / and /boot/efi can be the requisite FAT partition. Especially as I at least usually have some largish rescue iso like GRML in /boot as well. Don't need to fish around for some USB stick for partition surgery when the rescue system is right there on the SSD. And GRML makes it easy, there's a Debian package which generates a GRUB entry to boot the ISO directly.
