> root partition I’ve made a /data partition for many years now taking the majority of the disk. Root then has not needed more than thirty GB or so. (With ke

> root partition I’ve made a /data partition for many years now taking the majority of the disk. Root then has not needed more than thirty GB or so. (With kernels in the efi system partition, and home in data even less. I used to make it 32gb.)