Re: using pipe with command

Am 29.07.19 um 00:13 schrieb Philippe Waroquiers:

> I have not (yet) understood how GDB handles stdout
> redirection when tui is enabled, and so I have no idea yet how
> to fix that.
>
> Redirecting to a string or to a file/pipe probably should also
> redirect tui_old_uiout.
> Or possibly tui_on_user_selected_context_changed should do
> some redirections like mi_user_selected_context_changed ?
>
> Suggestions welcome :)
>
> Philippe
Many thanks for looking into this issue. I'm definitely not of much use
w.r.t. some decent suggestions but I'd be glad if I could help otherwise.