#! /bin/bash source $(dirname $0)/../target.sh gscript=/tmp/init$$.gdb cat > $gscript <