Bash debugger front-end