[linux] Re: /-partitie vol, apt-get purge linux-headers-3.2.0-40* weigert

[Daniel von Asmuth]

Aldus schreef Hein van Dijk op Fri, Jun 13, 2014 at 02:03:49PM +0200:
> Hallo Linux,
> Mijn /-partitie is in een onbewaakt moment weer vol geraakt.
>  Na sudo apt-get clean:     df -i
> Bestandssysteem I-nodes  IGebr   IVrij IGeb% Aangekoppeld op
> /dev/sda5        610800 609605    1195  100% /
> (oude kernels worden nl. niet automatisch verwijderd.)

> Is het een goed idee te beginnen met sudo rm
> /usr/src/linux-headers-3.2.0-4*  ???

Het antwooord is nee, tenzij de /usr/src/ directory in het / (root) file
system ligt (newbies doen zoiets wel eens). 

In het laatste geval moet je inderdaad opruiming gaan houden. Er kunnen
directories tussen zitten met troep, bijv onder /tmp of /var. Natuurlijk
is het een beetje slordig om rücksichtslos Linux headers weg te gooien 
die je misschien later nog eens nodig hebt, maar gelukkig kun je dat
snel repareren met APT or RPM.


Groeten,



Daniel

-- 
	
		Ordem e progresso