[patch 1/2] Make gdbtui a shell script

[Pierre Muller]

> -----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