5 ms·
Ubuntu/debian has a package called gdbtui which does exactly what gdb -tui does
by erez 15y ago
Ubuntu/debian has a package called gdbtui which does exactly what gdb -tui does
- jpr 15y agoCan'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 15y agoIt 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 "$@"