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