4c2ad1
#! /bin/sh
4c2ad1
exec gdb -tui "$@"