# @(#) debug.bash - commands executed by bash shells at startup if "env BASH_ENV=$0" set -xv trap 'step.pause' DEBUG