Dank je. Dit geeft inderdaad wat licht. Die ga ik bewaren.
De kernels heb ik nu uiteindelijk in synaptic verwijderde, muv de laatste 3 (je weet maar nooit
).
Daarna heb ik uitgevoerd: sudo apt-get autoremove en sudo update-grub
Bij mijn weten heb ik nu alle stappen zoals ze door Pjotr aangegeven worden doorlopen en zou de pc schoon moeten zijn.
Het probleem was dat ik in relatie tot ruimte gebruikt voor bestanden relatief weinig beschikbare hdd-ruimte had.
Het lijkt erop dat het geholpen heeft. Nu staat er op de harddisc 75gb, waarvan 47,7gb in .home.
Maar als ik je scriptje goed lees:
je zorgt in de eerste vier commando's dat alles geupdate is
en met de laatste twee, apt-get autoremove en update-grub verwijder je de oude kernels?
Aanvulling. Nu denk ik van niet aangezien die voorlaatste twee er na die commando's nog staan.Het eerste, updaten gebeurd bij mij automatisch binnen Ubuntu.
Dat laatste doe ik toch eigenlijk vrij regelmatig. Dan zal dit in mijn herinnering dan wel recenter zijn geweest dan het in de praktijk werkelijk was.
In elk geval. Mijn dank is wéér groot.
En linux is en blijft super!!!
(nu nog even herstarten om te kijken of dat goed gaat
)