<html><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><div>Noel wrote:</div><div><blockquote type="cite">Try this:<br><br>(display "\r\n")<br></blockquote></div><div><br class="webkit-block-placeholder"></div><div>So on Windows,&nbsp;(printf&nbsp;"~n") and (printf "\r\n") aren't equivalent? The documentation seems to suggest this:</div><div><br></div><div><font class="Apple-style-span" face="Monaco">&nbsp;&nbsp;-- SNIP --</font></div><div><font class="Apple-style-span" face="Monaco"><br class="webkit-block-placeholder"></font></div><div><font class="Apple-style-span" face="Monaco">&nbsp;&nbsp;- &nbsp;~n or ~% prints a newline</font></div><div><font class="Apple-style-span" face="Monaco"><br class="webkit-block-placeholder"></font></div><div><font class="Apple-style-span" face="Monaco">&nbsp;&nbsp;-- SNIP --</font></div><div><br class="webkit-block-placeholder"></div><div>A newline isn't necessarily a complete line break. However, this seems counter-intuitive to me: why have ~n at all? The documentation for ~w below reads:</div><div><br class="webkit-block-placeholder"></div><div>&nbsp;&nbsp;-- SNIP --</div><div><br class="webkit-block-placeholder"></div><div>&nbsp;&nbsp;<font class="Apple-style-span" face="Monaco">- &nbsp;~w, where w is a whitespace character, skips characters in format-string&nbsp;</font></div><div><font class="Apple-style-span" face="Monaco">&nbsp;&nbsp; &nbsp;until a non-whitespace character is encountered or until a second end-of-line&nbsp;</font></div><div><font class="Apple-style-span" face="Monaco">&nbsp;&nbsp; &nbsp;is encountered (whichever happens first). An end-of-line is either #\return,&nbsp;</font></div><div><font class="Apple-style-span" face="Monaco">&nbsp;&nbsp; &nbsp;#\newline, or #\return followed immediately by #\newline (on all platforms).</font></div><div><font class="Apple-style-span" face="Monaco"><br class="webkit-block-placeholder"></font></div><div><font class="Apple-style-span" face="Monaco">&nbsp;&nbsp;-- SNIP --</font></div><div><br class="webkit-block-placeholder"></div><div>which implies that ~w is platform aware.&nbsp;Is there call for a platform specific line break escape here?</div><div><br class="webkit-block-placeholder"></div><div>-- Dave</div><div><br></div></body></html>