> Hello, > > We need a name for the tui-by-default GDB binary. gdb-patches@ discussion suggests either: > > tuigdb > or > gdbtui > > are most popular. Vote away :-) Voting closes in the somewhat arbitrary approximate two days. gdbtui it is