https://d.puremagic.com/issues/show_bug.cgi?id=12493



--- Comment #4 from yebblies <[email protected]> 2014-04-05 02:54:29 EST ---
(In reply to comment #3)
> If I redirect the output to a file, I get \r\r\n newlines, not \r\n\n. That
> makes sense, I don't know where \r\n\n come from.
> 

Oops, that's what I meant.  It converts \n to \r\n, so the original \r\n
becomes \r\r\n

> Consecutive \r symbols are a no-op, so I don't see why it would print empty
> lines between text lines.

What \r does depends on your terminal.

-- 
Configure issuemail: https://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------

Reply via email to