[Python-Dev] Re: Optional separatorargument for file.writelines() and StringIO.writelines()

[Greg Ewing]

Vernon Cole <kf7xm at netscape.net>:

> Only in *nix does a linefeed charactor equate to the end of a line in
> a text file.  So, in every output line of every program I must pretend
> to be a C programmer and append a '\n' so that the runtime system can
> replace it with the actual End-of-Line used by my operating system.

Seems to me the 'n' in '\n' is meant to stand for "newline",
not "linefeed". So it's already named in an OS-independent
way.

Greg Ewing, Computer Science Dept, +--------------------------------------+
University of Canterbury,	   | A citizen of NewZealandCorp, a	  |
Christchurch, New Zealand	   | wholly-owned subsidiary of USA Inc.  |
greg at cosc.canterbury.ac.nz	   +--------------------------------------+