redhat-developer / redhat-developer/vscode-java

java.project.resourceFilters seems to be ignored when initializing workspace

未关闭
#1,655 8 条评论 0 个 reaction 已指派 1 人 在 GitHub 查看

@snjeza 已经在做这个了。

开始于 2020年12月18日。

preferences
主要语言
TypeScript
星标
2.3k
派生
546
平均合并
20 小时 1 分钟
30 天内合并 PR
11

描述

java.project.resourceFilters seems to be ignored when opening a workspace.
I have the vague feeling that I'm doing something wrong rather than this being a bug with the extension, but I tried a few things now, nothing works.

The only other idea I have is the following:
vscode-java.log The log seems to show, line 72, that the resource filters are only loaded once the workspace is already initialized. But, as seen in line 63, atm. it takes ~2 minutes to initialize. Unfortunately I have to integrate another project as a subfolder, so a lot more files. #1460 seems to suggest (to me, at least) that exactly this problem is solved in there.

If I can help you with any more information than the provided, I'd be happy to. Thanks you all for helping and developing this nice extension!

Environment
  • Operating System: WSL2, so Linux Docker from Windows 10
  • JDK version: openjdk:11.0.7
  • Visual Studio Code version: 1.50.0
  • Java extension version: 0.68.0
Steps To Reproduce
  1. Open Workspace in container
  2. Watch Java Build Status chewing through the mounted .git folder.

image

Current Result

Folders listed in java.project.resourceFilters are used.

Expected Result

No folders listed in java.project.resourceFilters should be used. One interesting part of this, is that even if I do not set my custom folders (so no "java.project.resourceFilters" in the settings.json), the .git folder is used. The Readme states, that the default value is ["node_modules",".git"]. I'd expect therefore, that even then, the .git-folder shouldn't be parsed.

Additional Informations

A few additional infos, but I'm not sure if they are related to the issue: The .git folder is mounted from the underlying filesystem into the container.

I tried with another folder, too, no difference: the folder is used weather it is in java.project.resourceFilters or not.

My workspace settings file:

{
  "files.watcherExclude": {
    "**/bin/**": true,
    "**/lib/**": true
  },
  "java.project.resourceFilters": [
    ".git",
  ]
}

Here is the project I'm working on: https://gitlab.com/Girstenbrei/cpachecker/-/tree/2a6f9bfe77a33fc9a5b6963d6f0da5bde3bcedda . The settings from above are not yet in this commit, so I included it separately.
If you check it out to start with docker, here a folder outside the workspace is mounted into it, just so you are aware.

贡献指南

打开贡献指南

从这里开始

  1. 先读完整个 Issue,再读项目的贡献指南。
  2. 在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
  3. Fork 仓库,在一个分支上完成修改。
  4. 提交 Pull Request,并在描述里引用这个 Issue 编号。

评估

这个 Issue 还没有评估数据。

把新 issue 发到你的邮箱

精选适合新手参与的 GitHub issue 摘要。