On 21/01/13 17:00, steve-ALUG@hst.me.uk wrote:
/snip/
I installed a bunch of updates yesterday, and I checked, and the newest kernel Ubuntu 12.10, kernel 3.5.0-22-generic boots fine without problems, and without command line switches.
I can't remember what the problem was now, but Mint was misbehaving before Christmas, and an update cured that.