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