debug: hacks to debug install-dev-env-scripts.sh

simonsdave · simonsdave · commit 83049c7b50a8 · 2020-12-27T21:38:21.000-05:00
diff --git a/bin/install-dev-env-scripts.sh b/bin/install-dev-env-scripts.sh
@@ -26,6 +26,7 @@ download_script() {
 }
 
 set -e
+set -x
 
 if [ $# != 0 ]; then
     echo "usage: $(basename "$0")" >&2
