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