redhat-developer / redhat-developer/vscode-java

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

Offen
#1,655 8 Kommentare 0 Reaktionen 1 zugewiesene Person Auf GitHub ansehen

@snjeza arbeitet bereits daran.

Seit 18.12.2020.

preferences
Vorherrschende Sprache
TypeScript
Sterne
2.3k
Forks
546
Ø Merge
20 Std. 1 Min.
Gemergte PRs (30 T.)
11

Beschreibung

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.

Beitragsleitfaden

Beitragsleitfaden öffnen

Erste Schritte

  1. Lies das ganze Issue und danach den Beitragsleitfaden des Projekts.
  2. Schreib ins Issue, dass du es übernimmst — das erspart doppelte Arbeit.
  3. Forke das Repository und arbeite in einem Branch.
  4. Öffne einen Pull Request, der die Issue-Nummer nennt.

Bewertung

Dieses Issue wurde noch nicht bewertet.

Neue Issues direkt in Ihr Postfach

Eine kurze Übersicht über anfängerfreundliche GitHub-Issues.