lean-ctx version: lean-ctx 3.8.7 (official, https://github.com/yvgude/lean-ctx)
OS: Linux
AI tool: Claude Code
What happened:
Ran the suggested migration command to migrate data to XDG directories.
What you expected:
~/.lean-ctx/ to be empty.
Steps to reproduce:
lean-ctx doctor --fix
Relevant output:
After running the --fix command (note: Removed orphaned lines removed, username redacted):
Installed Claude Code hooks at /home/<username>/.claude/hooks
Neovim (mcphub.nvim) MCP already configured at ~/.config/mcphub/servers.json
[...]
5/6 passed — run lean-ctx doctor for details
report saved: /home/<username>/.lean-ctx/doctor/latest.json
ls -R ~/.lean-ctx (note: username redacted):
/home/<username>/.lean-ctx:
doctor
/home/<username>/.lean-ctx/doctor:
latest.json
lean-ctx version: lean-ctx 3.8.7 (official, https://github.com/yvgude/lean-ctx)
OS: Linux
AI tool: Claude Code
What happened:
Ran the suggested migration command to migrate data to XDG directories.
What you expected:
~/.lean-ctx/to be empty.Steps to reproduce:
lean-ctx doctor --fixRelevant output:
After running the
--fixcommand (note: Removed orphaned lines removed, username redacted):ls -R ~/.lean-ctx(note: username redacted):