Eu fiz essa configuração devido ao bug de atualização do Kernel:
GRUB_DEFAULT = 4
em /etc/default/grub
Do que eu executei
sudo setup-grub
No entanto, não deu certo. Minha versão desejada é 4.2.0-16-generic, porque 4.2.0-18 e 4.2.0-17 (o que na verdade não está listado) não funciona. Na lista, 4.2.0-16 é o quarto.
Quando não funcionou, tentei isso:
GRUB_DEFAULT = "Advanced options for Ubuntu>Ubuntu, with Linux 4.2.0-16-generic"
e
sudo setup-grub
no entanto, ainda não funcionou e abriu uma versão não funcional do kernel. Atualmente eu só posso acessar 4.2.0-16 manualmente através de opções avançadas para o Ubuntu, mas eu quero que ele seja carregado automaticamente. Que solução você me recomendaria?
As dpkg --list | grep linux-image de saídas:
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
como as últimas 4 saídas (somente para o Ubuntu 15.10 que contém o Kernel 4.2.0).
OK! Eu encontrei a solução. Eu tive que ligar um PPA ao grub-customizer.
sudo add-apt-repository ppa:danielrichter2007/grub-customizer
Do que eu fiz:
sudo apt-get update
O próximo passo é
sudo apt-get install grub-customizer
Depois disso eu abro o grub-customizer através do unit dash e seleciono o kernel desejado de lá e tada!:)
Faça um backup do seu grub atual.
sudo cp /etc/default/grub /etc/default/grub.bak
Agora, abra o arquivo.
sudo gedit /etc/default/grub
Abra outro terminal e digite:
cat /boot/grub/grub.cfg | grep 4.2.0-16
Você verá uma linha como esta:
% bl0ck_qu0te%Copie esta linha & amp; cole-o:
EDITADO:
% bl0ck_qu0te%EDITADO PARA:
% bl0ck_qu0te%Salve o arquivo.
Agora, digite o comando:
sudo update-grub