On 2015-04-27 21:29:07 -0400, The Wanderer wrote:
> On 04/27/2015 at 09:24 PM, Vincent Lefevre wrote:
> > Yes, one can write a small script that also removes blank lines that
> > come after a Gtk-WARNING line.
> 
> My brief research seems to indicate the blank line is actually printed
> _before_ the GTK-sourced line. Not sure how much harder that would make
> things, just offhand.

Perhaps, but it may be better to filter out the one that it after. The
reason is that you don't know in advance if a blank line is part of a
Gtk-WARNING. So, you would have to delay its printing. Probably not
much a problem, but it's a bit annoying to introduce delay for a
process that may actually not output any Gtk-WARNING line at all.

-- 
Vincent Lefèvre <vinc...@vinc17.net> - Web: <https://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)


-- 
To UNSUBSCRIBE, email to debian-user-requ...@lists.debian.org 
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive: https://lists.debian.org/20150428013639.gc24...@xvii.vinc17.org

Reply via email to