Anssi Saari <[email protected]> wrote: > 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.
Yes, ideally I would have liked to get rid of the separate /boot partition but the reality was that moving things around a bit with gparted was more straightforward. Next clean installation I will try and get rid of the separate /boot. -- Chris Green ·
