"Kevin M. Bealer" <kmb203@psu.edu> writes: > > GNU bash, version 2.00.0(1)-release (i586-debian-linux)
Hmm. Could you check if bash 2.01 fixes this problem?
I didn't find anything related to 'echo's buffering with a quick scan
through its CHANGES file, but that doesn't necessarily mean anything.