On Thursday 26 December 2013 14:27:16 Brian wrote: > Wouldn't it be cleaner to purge linux-image-* packages? Thanks for the prod, Brian! I now have a manageable number of kernels in my grub list! Happy Christmas season. Lisi