emit script and pwd path at start

davidjenni · Jan 22, 2024 · a2d53b5 · a2d53b5
1 parent ef1d8ec
commit a2d53b5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/bootstrap.sh b/bootstrap.sh
@@ -290,5 +290,5 @@ main() {
   echo "Done."
 }
 
-echo "Starting bootstrap.sh..."
+echo "Starting bootstrap.sh ($0 in dir: $(pwd))..."
 main $*