(Effettivamente avere 6 kernel non è molto utile (3 per Mint e 3 per debian) visto che di solito ne uso solo uno alla volta.)
Ma non lo so avvolte mio padre si dimentica che non ho la bacchetta magica e che non posso far sparire delle cose cosi a comando.
Specialmente parlando di Kernel che sono il "deo ex machina" che fa muovere l'intero sistema GNU.
(eccovi un tipico esempio di "deo ex machina" originario del mio pc fisso)
Rimuovere un kernel non è un operazione tanto difficile ma molto dico molto rischiosa!
Infatti un comando e una modifica sbagliata potrebbe causare un vero è proprio armageddon nel tuo sistema.
Cosi tanto per puro scopo informativo possiamo vedere a questo link il procedimento, un po macchinoso, che è necessario per rimuovere i vecchi kernel.
Fortunatamente la mia Sidux mi è venuto in contro :D
Infatti spulciando tra le voci del menù ho trovato un programmino preinstallato che fa proprio al caso mio :D
Si chiama Kernel-remover e il nome dice tutto, cosi ci ho cliccato sopra e mi ha chiesto la password di root, una volta immessa la password ci troviamo di fronte alla lista dei kernel installati sul sistema:
Cosa altro dire se non che Sidux è il BENE!
PS: Non ho ancora controllato se è presente nei repo di Ubuntu, e visto che me lo sono trovato installato dopo l'installazione di Sidux non so neanche se è presente nei repo di Debian.
PS#2: A si tutti i diritti riservati alla FOX per l'utilizzo delle immagini di Homer ma si sa lui è una patrimonio dell'umanità riconosciuto dall'UNESCO quindi come si fa a non usarlo?! xD