|
From: | Paul Eggert |
Subject: | Re: Adding streams for standard out and standard err |
Date: | Thu, 21 Jul 2016 16:40:10 +0200 |
User-agent: | Mozilla/5.0 (X11; Linux i686; rv:45.0) Gecko/20100101 Thunderbird/45.2.0 |
On 07/21/2016 04:21 PM, Eli Zaretskii wrote:
. We already have (append-to-file START END FILENAME), which can be used to write a buffer or a string to a file. FILENAME can be "/dev/stderr" on Posix platforms, for example, or it can be a real file name.
Wouldn't the proposed primitives often be more efficient than append-to-file, since they would use stdio buffering?
Presumably people using the new primitives would know about their problems with tty and/or GUI frames, just as they know about the similar problems that append-to-file has with /dev/stderr.
[Prev in Thread] | Current Thread | [Next in Thread] |