This is the mail archive of the
gdb-patches@sourceware.org
mailing list for the GDB project.
Re: [patch 1/2] Make gdbtui a shell script
On Wed, 21 Dec 2011 15:26:54 +0100, Pierre Muller wrote:
> > 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 understand the Joel's proposal as dropping gdbtui entirely and everywhere,
so that users will notice it.
Besides that I have ~70 convenience aliases in my ~/.bashrc, why not to have
also `gdbtui' if someone is really used to that name.
Regards,
Jan