I did this setup due to Kernel upgrade bug:
GRUB_DEFAULT = 4
in /etc/default/grub
Than I executed
sudo setup-grub
However, it didn't work out. My desired version is 4.2.0-16-generic, because 4.2.0-18 and 4.2.0-17(which actually isn't listed) doesn't work. In the list, 4.2.0-16 is 4th.
When it didn't work, I tried this:
GRUB_DEFAULT = "Advanced options for Ubuntu>Ubuntu, with Linux 4.2.0-16-generic"
and
sudo setup-grub
however, it still didn't work and opened a not-working version of kernel. Currently I can only access 4.2.0-16 manually through Advanced options for Ubuntu, but I want it to load automaticly. What solution would you reccomend me?
The dpkg --list | grep linux-image outputs:
ii linux-image-extra-4.2.0-16-generic 4.2.0-16.19 amd64 Linux kernel extra modules for version 4.2.0 on 64 bit x86 SMP
ii linux-image-extra-4.2.0-17-generic 4.2.0-17.21 amd64 Linux kernel extra modules for version 4.2.0 on 64 bit x86 SMP
ii linux-image-extra-4.2.0-18-generic 4.2.0-18.22 amd64 Linux kernel extra modules for version 4.2.0 on 64 bit x86 SMP
ii linux-image-generic 4.2.0.18.20 amd64 Generic Linux kernel image
as a last 4 outputs(only ones for Ubuntu 15.10 which contains Kernel 4.2.0).