On 04-09-2013 12:46, Der wrote: > Mocht het nog steeds niet lukken om met apt-get oude kernels te > verwijderen, kun je natuurlijk ook dpkg --remove (of --purge) gebruiken. Wat is er mis met rm? -- ir. J.C.A. Wevers PGP/GPG public keys at http://www.xs4all.nl/~johanw/pgpkeys.html