debian/gdbtui


1
2
3
4
5
6
7
8
9
10

#!/bin/sh

prog=$(basename $0 tui)

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

exec $prog --tui "$@"