Debian : disinstallare i vecchi kernel precompilati

[JacKo]

Ciao a tutti.
Si e` piu` volte discusso (e a lungo) dei pro e contro di avere un kernel autocompilato o di uno precompilato.
Alla fine io ho deciso di utilizzare quelli precompilati disponibili sui repositories della debian.
Quello che vorrei sapere, e` come faccio a disinstallare i kernel vecchi, quelli che sono sicuro che non usero` piu`.
Lancio un apt-get remove, li cancello a mano, o che altro?.
Qual'e` la procedura piu` elegante?

Grazie.

[Leron]

io brutalmente li rimuovo con synaptic :D

[RaouL_BennetH]

Originariamente inviato da JacKo
Ciao a tutti.
Si e` piu` volte discusso (e a lungo) dei pro e contro di avere un kernel autocompilato o di uno precompilato.
Alla fine io ho deciso di utilizzare quelli precompilati disponibili sui repositories della debian.
Quello che vorrei sapere, e` come faccio a disinstallare i kernel vecchi, quelli che sono sicuro che non usero` piu`.
Lancio un apt-get remove, li cancello a mano, o che altro?.
Qual'e` la procedura piu` elegante?

Grazie.

Un semplice apt-get remove kernel-source-2.(versione_che_vuoi_togliere) credo sia più che sufficiente.

[wubby]

env COLUMNS=132 dpkg -l | grep kernel

apt-get remove --purge kernel_image_etc_etc

;)

[JacKo]

Grazie a tutti,
Ppensavo ci fosse qualche procedura "esoterica" per ripulire la macchina dalla "divinita` kernel" ...
Invece, Giustamente, basta usare con perizia apt-get.

Grazie ancora.
CIAO.