From f58088f2de7891b02f199d5a5f41fbd3d62857cf Mon Sep 17 00:00:00 2001
From: Benjamin Lupton <b@lupton.cc>
Date: Fri, 28 Jul 2023 08:02:34 +0800
Subject: [PATCH] dorothy: better logging for what is being linted

---
 commands/dorothy | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/commands/dorothy b/commands/dorothy
index 25a300b67..33a14c716 100755
--- a/commands/dorothy
+++ b/commands/dorothy
@@ -1354,18 +1354,22 @@ function dorothy() (
 		# action
 		echo-segment --h2='Running Lint'
 		# on dorothy
+		echo-segment --h3="$DOROTHY"
 		pushd "$DOROTHY" >/dev/null
 		trunk upgrade # always upgrade as still buggy
 		trunk fmt --all "${args[@]}"
 		trunk check --all "${args[@]}"
 		popd >/dev/null
+		echo-segment --g3="$DOROTHY"
 		# on user configuration
 		if test -d "$DOROTHY/user/.trunk"; then
+			echo-segment --h3="$DOROTHY/user"
 			pushd "$DOROTHY/user" >/dev/null
 			trunk upgrade # always upgrade as still buggy
 			trunk fmt --all "${args[@]}"
 			trunk check --all "${args[@]}"
 			popd >/dev/null
+			echo-segment --g3="$DOROTHY/user"
 		fi
 		echo-segment --g2='Running Lint'