Skip to content

Improve VSCode support: update developer manual and fix Eclipse nesting errors #1518

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

Open
HenryXi1 wants to merge 3 commits into
base: master
Choose a base branch
from
Open

Improve VSCode support: update developer manual and fix Eclipse nesting errors #1518

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
569a966
Update developer manual: use ./gradlew eclipse for VSCode
HenryXi1 Jan 29, 2026
96d0526
Fix Eclipse source folder nesting errors
HenryXi1 Jan 29, 2026
aef0d13
Update contributors.tex to include Henry Xi
HenryXi1 Jan 29, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
5 changes: 5 additions & 0 deletions build.gradle
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -219,6 +219,11 @@ allprojects { currentProj ->
eclipse.classpath {
defaultOutputDir = file("build/default")
file.whenMerged { cp ->
// Remove bare 'src/main' source folder entries that cause Eclipse nesting errors.
cp.entries.removeAll { e ->
e instanceof org.gradle.plugins.ide.eclipse.model.SourceFolder && e.path == 'src/main'
}

cp.entries.forEach { cpe ->
if (cpe instanceof org.gradle.plugins.ide.eclipse.model.SourceFolder) {
cpe.output = cpe.output.replace "bin/", "build/classes/java/"
Expand Down
2 changes: 1 addition & 1 deletion docs/developer/developer-manual.html
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -275,7 +275,7 @@ <h2 id="IDE_configuration">IDE configuration</h2>
</p>

<p>
For VS Code and Eclipse, run <code>./gradlew eclipseClasspath</code> before running
For VS Code and Eclipse, run <code>./gradlew eclipse</code> before running
the IDE for the first time.
This ensures generated files are not put in the standard <code>../bin/</code> directories.
</p>
Expand Down
1 change: 1 addition & 0 deletions docs/manual/contributors.tex
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -51,6 +51,7 @@
Hamed Taghani,
Hannes Greule,
Heath Borders,
Henry Xi,
Ivory Wang,
Jakub Vr\'ana,
James Yoo,
Expand Down