Ubuntu 14.04 apt-get problem...

[Robert Heller]

Amoungst a number of Ubuntu machines I manage at the local library are a pair 
of laptops.  Back a few kernel updates ago, there was a "bad" kernel (caused 
Java to crash).  Since these laptops have the Arduino IDE installed, this was 
a problem.  I could not figure out how to make them boot the previous kernel 
by default (the grub2 config process basically sucks and Ubuntu 14.04 
incarnation of it is basically broken in this regard, but that is neither here 
nor there), so I just did an apt-get purge of the "bad" kernel.  Since then 
apt-get dist-upgrade no longer picks up new kernels automagically -- I have to 
*manually* update the kernels (apt-get dist-upgrade linux-<mumble>...) and now 
I have to manually remove the older kernels (apt-get autoremove no longer 
removes the older kernels).  I cannot find where this setting was set so I can 
unset it.

-- 
Robert Heller             -- 978-544-6933
Deepwoods Software        -- Custom Software Services
http://www.deepsoft.com/  -- Linux Administration Services
heller at deepsoft.com       -- Webhosting Services