Add helper scripts for debugging babi

2019-08-12 15:56:06 -07:00
parent ea6503d9b4
commit 2b73ab401c
2 changed files with 9 additions and 0 deletions
--- a/testing/debug-babi
+++ b/testing/debug-babi
@@ -0,0 +1,7 @@
+#!/usr/bin/env bash
+export \
+    PYTHONBREAKPOINT=remote_pdb.set_trace \
+    REMOTE_PDB_HOST=127.0.0.1 \
+    REMOTE_PDB_PORT=4444 \
+    REMOTE_PDB_QUIET=1
+exec babi "$@"