On May 21, 2013, at 23:17 , Floris van Manen <vm at klankschap.nl> wrote: > zoiets? > > <fix_eol.py> Let er op dat dit niet werkt als /tmp op een ander filesystem staat. Je zou eventueel shutil.move kunnen gebruiken in plaats van os.rename, ook al is dat iets minder veilig. Wichert.