Comment 20 for bug 1728730

Revision history for this message
Tommy Pollák (tpollak) wrote :

Though I downloaded
linux-headers-4.14.0-041400rc7_4.14.0-041400rc7.201710292231_all.deb
linux-headers-4.14.0-041400rc7-generic_4.14.0-041400rc7.201710292231_i386.deb
linux-image-4.14.0-041400rc7-generic_4.14.0-041400rc7.201710292231_i386.deb
and executed
sudo dpkg -i *.deb
I can not see 4.14 when booting. So I listed /lib/modules
~$ ls /lib/modules/
3.11.0-19-generic 3.19.0-31-generic 3.8.0-31-generic
3.13.0-37-generic 3.2.0-45-generic-pae 4.10.0-37-generic
3.16.0-36-generic 3.5.0-37-generic 4.13.0-16-generic

Obviously I have missed to do something. What? sudo apt-get ??????