Re: file.writelines()?

Guido.van.Rossum@cwi.nl
Mon, 25 Oct 1993 10:25:03 +0100

> To write scripts, it would be handy to have something that lets one cat
> a file to a file, something that's the equivalent of readlines(), but on
> the output side (writelines()?), so that you could write
>
> out.writelines(in.readlines())

I just encountered the same need. Consider it added to the next
release. (Want a patch? Mail me.)

--Guido van Rossum, CWI, Amsterdam <Guido.van.Rossum@cwi.nl>