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'. I will update the patch if there are no other opinions. Thanks, Jan