chore: add info log on pkgs dir rename

leanprover · Mar 28, 2024 · 6542ac6 · 6542ac6
1 parent 5ecfadb
commit 6542ac6
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/src/lake/Lake/Load/Main.lean b/src/lake/Lake/Load/Main.lean
@@ -161,13 +161,12 @@ def Workspace.updateAndMaterialize
       if let some oldRelPkgsDir := manifest.packagesDir? then
         let oldPkgsDir := ws.dir / oldRelPkgsDir
         if oldRelPkgsDir.normalize != ws.relPkgsDir.normalize && (← oldPkgsDir.pathExists) then
+          logInfo s!"workspace packages directory changed; renaming '{oldPkgsDir}' to '{ws.pkgsDir}'"
           let doRename : IO Unit := do
             createParentDirs ws.pkgsDir
             IO.FS.rename oldPkgsDir ws.pkgsDir
           if let .error e ← doRename.toBaseIO then
-            error <|
-              s!"{rootName}: could not rename packages directory " ++
-              s!"({oldPkgsDir} -> {ws.pkgsDir}): {e}"
+            error s!"could not rename workspace packages directory: {e}"
     | .error (.noFileOrDirectory ..) =>
       logInfo s!"{rootName}: no previous manifest, creating one from scratch"
     | .error e =>