Il kernel è il “cuore ” del sistema operativo e si occupa della gestione di memoria primaria, risorse hardware e periferiche, scegliendo di volta in volta a quale servizio assegnarle. In poche parole di tutto.
Per rimuovere uno o più kernel, apriamo il terminale e digitiamo, per sapere quanti kernel abbiamo nel sistema:
sudo dpkg -l | grep linux-imageannotiamo quelli che vogliamo disinstallare!
Poi per sapere che kernel stiamo utilizzando:
uname -rannotiamolo!
Infine per eliminare il kernel digitiamo:
sudo apt-get purge linux-image-x.x.x.xx-genericdove, al posto delle x inseriremo il numero della versione del kernel che andiamo ad eliminare.
N.B.: Per le versioni di Linux che non utilizzano il comando sudo, sostituirlo con su
Fatto! Ora abbiamo liberato spazio su disco che tornerà sicuramente utile.
Nessun commento:
Posta un commento