dorothy: better logging for what is being linted

bevry · Jul 28, 2023 · f58088f · f58088f
1 parent 30f44e8
commit f58088f
Showing 1 changed file with 4 additions and 0 deletions.
diff --git 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'