New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

large log file in tmp dir #45

Closed

onriv opened this issue Oct 30, 2024 · 0 comments

Owner

onriv commented Oct 30, 2024

currently the log for lean language server at the server side is enabled by default. ref

It makes some large log files in the tmp dir:

windows: ~\AppData\Local\JetBrains\IntelliJIdea2024.1\tmp
macOs: ~/Library/Caches/JetBrains/IntelliJIdea2024.1/tmp
linux: TODO

The users should check the tmp dir and remove all directories in it starting with lean-lsp to save disk space.

It is fixed in 0.1.1

The text was updated successfully, but these errors were encountered:

onriv pinned this issue

onriv closed this as completed

onriv unpinned this issue

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment