[PATCH] Speed up "gdb -tui" output
Eli Zaretskii
eliz@gnu.org
Tue Jan 6 19:06:00 GMT 2015
> Date: Tue, 6 Jan 2015 10:37:13 -0800
> From: Doug Evans <dje@google.com>
> Cc: gdb-patches <gdb-patches@sourceware.org>
>
> bash$ gdb -tui
> (gdb) file foo<ret>
>
> At this point I've hit return but I don't see anything printed.
>
> pause pause pause
>
> and then finally I see all the output:
>
> Reading symbols from foo...done.
> mumble ...
> (gdb)
If this is the only place where this matters, we could break that line
in two:
Reading symbols from foo...
Done reading symbols from foo.
Or maybe we could also call wrefresh when we see 3 consecutive dots,
assuming that these are the cases where a prolonged operation is under
way.
> Another possibility would be to do the string -> char -> string
> processing differently. String printing utilities could accumulate
> what they want to print and send the output in chunks instead
> of characters.
> Then tui_puts could get real strings instead of always getting
> { char, '\0' }, and maybe that would be enough.
This will hit the same problem: how to know when to stop accumulating
and flush it out.
More information about the Gdb-patches
mailing list