I followed meydlo's suggested steps but for some reason the 3.11 kernel he
got wasn't found though I had added the repository to the list.
You should not do that. Just grab the .deb you want from
http://packages.trisquel.info/toutatis-updates/linux-image and install it
(e.g., with 'dpkg -i' or with GDebi). meydlo pretends that the version
3.11.0-20 is the last version that allows him to get a correct resolution.
However, I doubt security fixes (the last number) can introduce such a
regression. I would therefore take
http://packages.trisquel.info/toutatis-updates/amd64/linux-image-3.11.0-26-generic/download
Is the best way to remove the other kernels via the synaptic?
It is a good way to remove kernels. However I would advise against removing
all kernels but the one that is supposed to work. Especially without testing
it first!
To test it, you can start by disabling GRUB's password, which is useless
according to its developers (
https://www.gnu.org/software/grub/manual/grub.html#Security ). To do so, make
all lines of /etc/grub.d/01_PASSWORD start with "#". You need administrative
rights to edit that file (here with GEdit):
$ gksu gedit /etc/grub.d/01_PASSWORD
You then need to run the following command for the change to be applied:
$ sudo update-grub
When rebooting, you will then be able able to choose, at GRUB, the "advanced
options" (or something similar) and to boot the kernel you have just
installed.
If you can then get the correct resolution, tell us. We can then explain how
modifying GRUB_DEFAULT in /etc/default/grub can turn the kernel the default.
