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