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