RE: [patch 1/2] Make gdbtui a shell script

Pierre Muller
2011-12-21T14:27:32Z

> -----Message d'origine-----
> De : gdb-patches-owner@sourceware.org [mailto:gdb-patches-
> owner@sourceware.org] De la part de Jan Kratochvil
> Envoyé : mercredi 21 décembre 2011 15:23
> À : Joel Brobecker
> Cc : gdb-patches@sourceware.org; Sergio Durigan; Kai Tietz
> Objet : Re: [patch 1/2] Make gdbtui a shell script
>
> On Wed, 21 Dec 2011 13:23:30 +0100, Joel Brobecker wrote:
> > How about not providing gdbtui at all, not even a shell script?
>
> I am for it, `gdbtui' does not bring any more convenience than `gdb -tui'.

Remember that some targets (like DJGPP)
have no symbolic links...

> I will update the patch if there are no other opinions.

Pierre Muller