question-mark
Stuck on an issue?

Lightrun Answers was designed to reduce the constant googling that comes with debugging 3rd party libraries. It collects links to all the places you might be looking at while hunting down a tough bug.

And, if you’re still stuck at the end, we’re happy to hop on a call to see how we can help out.

Pull diagnostics not cleared when file deleted

See original GitHub issue

With workspace diagnostic support enabled, diagnostics for a file are not cleared when the file is deleted (either through VSCode or externally). The diagnostics remain in the problems tab.

This issue becomes more apparent when using commands like git stash

Issue Analytics

  • State:closed
  • Created a year ago
  • Reactions:2
  • Comments:5 (3 by maintainers)

github_iconTop GitHub Comments

1reaction
dbaeumercommented, Dec 9, 2022

Got fixed in HEAD.

0reactions
dbaeumercommented, Dec 13, 2022

For workspace diagnostics we actually recommend that the server is doing this. VS Code doesn’t delete problems on file deletion either so we didn’t want to add this to the LSP libs.

Read more comments on GitHub >

github_iconTop Results From Across the Web

PublishDiagnostics Notification and File Deletions #463 - GitHub
Diagnostics are “owned” by the server so it is the server's responsibility to clear them if necessary. This has been brought up in...
Read more >
Overview of diagnostic log files for Office - Microsoft Support
When a user runs an Office app, such as Word or Excel, diagnostic information is collected and saved to log files on the...
Read more >
How to get deleted files back with git pull? - Stack Overflow
If you just revert your change, you will get all the files deleted. It is not a workaround (that you mentioned) where you...
Read more >
What are .nfsXXXX files and how do I delete them?
Answer. Files with a naming convention like .nfsXXXX are created by NFS clients when a file that is currently opened on a client...
Read more >
Low disk space on an Orion Server
This article explains how to clean up an Orion Server, reduce diagnostics size, and prevent disk space from filling back up again.
Read more >

github_iconTop Related Medium Post

No results found

github_iconTop Related StackOverflow Question

No results found

github_iconTroubleshoot Live Code

Lightrun enables developers to add logs, metrics and snapshots to live code - no restarts or redeploys required.
Start Free

github_iconTop Related Reddit Thread

No results found

github_iconTop Related Hackernoon Post

No results found

github_iconTop Related Tweet

No results found

github_iconTop Related Dev.to Post

No results found

github_iconTop Related Hashnode Post

No results found