Message149561
Oops, I forgot the last two questions:
> Maybe we need better command-line control to override the defaults?
We already have -u to switch all stdio to unbuffered. This issue proposes to make stderr line-buffered/unbuffered by default, since it's less surprising than fully buffered.
> Are there precedents e.g. in Bash flags?
Well, `man bash` doesn't appear to say anything about stdio buffering. |
|
Date |
User |
Action |
Args |
2011-12-15 14:30:32 | pitrou | set | recipients:
+ pitrou, gvanrossum, gjb1002, pjenvey, benjamin.peterson, stutzbach |
2011-12-15 14:30:32 | pitrou | set | messageid: <1323959432.22.0.772133479041.issue13601@psf.upfronthosting.co.za> |
2011-12-15 14:30:31 | pitrou | link | issue13601 messages |
2011-12-15 14:30:31 | pitrou | create | |
|