id	summary	reporter	owner	description	type	status	priority	milestone	component	severity	resolution	keywords	cc
4387	Partition /home auf paedml fast voll	Rüdiger Kupper	bau	"Wir haben momentan noch 128MB auf /home (also für /home/teachers und /home/share). /home/students liegt ja auf einer separaten Platte.

Da müssen wir schnell Platz schaffen! Gibt es etwas, was wir löschen können?"	Defekt	closed	schnell erledigen	Schuljahr 2021/22	Server: Fileserver	beeinträchtigt den Unterricht vieler Lehrer	erledigt		ort