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