Il 06/01/2018 12:43, Felipe Salvador ha scritto: > On Sat, Jan 06, 2018 at 10:51:08AM +0100, Portobello wrote: >> Si, ho fatto l'aggiornamento ieri. >> Ma forse non � stato installato per qualche motivo. >> uname -a >> Linux amd64 4.9.0-4-amd64 #1 SMP Debian 4.9.65-3+deb9u1 (2017-12-23) >> x86_64 GNU/Linux >> Il kernel sembra che sia ancora quello del 23 Dicembre 2017. > > > Verifica che sia installato > ii linux-image-4.9.0-5-amd64 4.9.65-3+deb9u2 amd64 Linux 4.9 for > 64-bit PCs > > posta l'output di > > $dpkg -l linux-image-4.9.0-5-amd64 Ora carica l'immagine aggiornata. ||/ Name Version Architecture Description +++-=========================-=================-=================-============= ii linux-image-4.9.0-5-amd64 4.9.65-3+deb9u2 amd64 Linux 4.9 for 64-bit PCs Mi sembra che non ci sono cambiamenti visibili ad occhio umano, come velocità di esecuzione. C'è qualche comando che si può dare per vedere da terminale le differenze, tra la versione aggiornata del 4/1/2018 e quella del 23/12/2018 ?
Ciao P.S. : Come spiegato nell'altra discussione, ho dovuto dare grub-install <device> per aggiornare il menu di grub.