Skip to content
New issue

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

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

Already on GitHub? # to your account

Linter include dirs cache out of date #464

Closed
gnikit opened this issue May 7, 2022 · 0 comments · Fixed by #467
Closed

Linter include dirs cache out of date #464

gnikit opened this issue May 7, 2022 · 0 comments · Fixed by #467
Assignees
Labels
Milestone

Comments

@gnikit
Copy link
Member

gnikit commented May 7, 2022

Describe the bug
The cache in the linter can be out of date if a file is renamed or deleted. Fundamentally this means that the cache should also allow for directories to be removed

To Reproduce
Change the include dirs in the settings and check what is `included

Build info (please complete the following information):

  • OS: Linux x64
  • Extension Version 3.0 pre-Release
  • Visual Studio Code Version 1.67.0
@gnikit gnikit added the bug label May 7, 2022
@gnikit gnikit added this to the v3.0 milestone May 7, 2022
@gnikit gnikit self-assigned this May 7, 2022
gnikit added a commit that referenced this issue May 7, 2022
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant