On 7 February 2013 10:51, Andre Renaud <[email protected]> wrote: > At this stage, I'd be tempted to go out and manually download the .deb > files, then use dpkg -i to install them. If necessary, you can use > dpkg -i --force-depends, but forcing the dependencies on linux kernel > images sounds mildly frightening. I suspect if you get all three .dpkg > files, and install them all at once, it might work. > > Try trawling through here to get the appropriate .deb files > http://packages.ubuntu.com/precise-updates/linux-image-server
Hearty cheers. Did the following: - downloaded .deb files for linux-headers-server, linux-image-server and linux-server (pro tip: get the right files for your architecture) - sudo dpkg -i linux-headers-server_3.2.0.37.45_amd64.deb linux-server_3.2.0.37.45_amd64.deb linux-image-server_3.2.0.37.45_amd64.deb - sudo update-grub - hold breath and reboot The machine comes up happily. An error message flickers on the screen for a fraction of a second just before the grub menu comes up -- it's too quick for me to read it. I'm going to play my "optimism" card and assume that it's not a serious issue. Thanks, Roy. _______________________________________________ Linux-users mailing list [email protected] http://lists.canterbury.ac.nz/mailman/listinfo/linux-users
