cc: [EMAIL PROTECTED]
Subject: Re: [ast-developers] Flushing console output
--------
> The only solution I came up with is to insert the command
>
> read </dev/null
>
> This flushes the buffer immediately. I wonder if there is a more elegant
> way I - some option, escape sequence, special redirection or whatever?
>
> Regards,
> Bernd
>
>
With the next update,
print -n
without options will flush the output buffer.
David Korn
[EMAIL PROTECTED]
_______________________________________________
ast-developers mailing list
[email protected]
https://mailman.research.att.com/mailman/listinfo/ast-developers
