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 -

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 "$@"