[jpr]

Can't seem to find the package on Ubuntu 10.10, do I need to enable some repository?

EDIT: Apparently it was included in the basic gdb package or something.

[ludwigvan]

It is a simple script.

cat `which gdbtui`

#!/bin/sh

prog=$(basename $0 tui)

dir=$(dirname $0) if [ "$dir" != "." ]; then prog=$dir/$prog fi

exec $prog --tui "$@"