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


-- 
To UNSUBSCRIBE, email to debian-user-requ...@lists.debian.org 
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/201312261444.31381.lisi.re...@gmail.com

Reply via email to