Eu não atualizei meu Ubuntu 18.04 desde longos dias.
hoje eu corri sudo apt update && sudo apt upgrade
atrás disso que fiz, sudo update-grub
que deu o resultado abaixo.
pratap@i7-6550U:~$ sudo update-grub
Generating grub configuration file ...
Found theme: /boot/grub/themes/TestTheme/theme.txt
Found linux image: /boot/vmlinuz-4.15.0-42-generic
Found initrd image: /boot/initrd.img-4.15.0-42-generic
Found linux image: /boot/vmlinuz-4.15.0-34-generic
Found initrd image: /boot/initrd.img-4.15.0-34-generic
Found Windows Boot Manager on /dev/sda1@/EFI/Microsoft/Boot/bootmgfw.efi
Found Ubuntu 18.04.1 LTS (18.04) on /dev/sda10
Found Ubuntu 18.10 (18.10) on /dev/sda8
Adding boot menu entry for EFI firmware configuration
done
pratap@i7-6550U:~$
descobri que 4.15.0-42 é maior e 34 está muito longe de 42,
quero manter 41 como a escolha secundária ao lado de 42.
É possível instalá-lo substituindo 34 no meu caso?
Você pode remover o kernel antigo com
Para instalar outro kernel (por exemplo, 4.15.0-39) execute
Observe que esses pacotes serão marcados como instalados manualmente, portanto, não serão removidos com
sudo apt autoremove
. Você pode marcá-los como instalados automaticamente comVocê pode querer verificar com
Synaptic
quais versões do kernel estão disponíveis. Você também pode usar o comandoapt list linux-headers-*-generic
para ver quais versões do kernel estão disponíveis:Para mim a versão 4.15.0-39 ainda é a versão recente no repositório oficial, não sei de onde você tirou a versão 4.15.0-42, provavelmente você propôs pacotes habilitados em
Software Updater
.