Automatic flushing for PipeReader (with Patch)
jochen.keil at gmail.com
Mon Aug 6 23:46:37 BST 2012
-----BEGIN PGP SIGNED MESSAGE-----
On 06.08.2012 21:25, Jose A. Ortega Ruiz wrote:
> Hi Jochen,
> On Sun, Aug 05 2012, Jochen Keil wrote:
>> I've written a small patch for PipeReader which does the
> Seems good... but i think you sent the patch in the opposite
> direction: would you mind re-generating it?
Sorry, I will fix that.
However, I wrote a whole new Plugin which reads from multiple pipes
and overwrites one main pipe temporarily, restoring the original
content after a given timeout.
I think that's an even better approach. :)
Furthermore I'm currently hacking on xmobar to make it
autoraise/autohide when a plugin generates new data.
I will get the latest darcs sources and then send patches applied to
> Thanks a lot!
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.19 (GNU/Linux)
-----END PGP SIGNATURE-----
More information about the Xmobar