in reply to Re: How to flush output to the console?in thread How to flush output to the console?
there is also less cryptic command:
But I'm not completely sure whether autoflush is pretty much the same as $|