mirror of
https://github.com/openjdk/jdk.git
synced 2026-01-28 03:58:21 +00:00
69 lines
1.5 KiB
JSON
69 lines
1.5 KiB
JSON
{
|
|
"folders": [
|
|
{
|
|
"name": "Source root ({{TOPDIR_BASE}})",
|
|
"path": "{{TOPDIR}}"
|
|
},
|
|
// {{EXTRA_WORKSPACE_ROOT}}
|
|
{
|
|
"name": "Build artifacts ({{OUTPUT_BASE}})",
|
|
"path": "{{OUTPUTDIR}}"
|
|
}
|
|
],
|
|
"extensions": {
|
|
"recommendations": [
|
|
"oracle.oracle-java",
|
|
// {{INDEXER_EXTENSIONS}}
|
|
]
|
|
},
|
|
"settings": {
|
|
// {{INDEXER_SETTINGS}}
|
|
|
|
// Java extension
|
|
"jdk.project.jdkhome": "{{OUTPUTDIR}}/jdk",
|
|
"jdk.java.onSave.organizeImports": false, // prevents unnecessary changes
|
|
"jdk.serverVmOptions": ["-Xmx2G"], // prevent out of memory
|
|
|
|
// Additional conventions
|
|
"files.associations": {
|
|
"*.gmk": "makefile"
|
|
},
|
|
|
|
// Having these enabled slow down task execution
|
|
"typescript.tsc.autoDetect": "off",
|
|
"gulp.autoDetect": "off",
|
|
"npm.autoDetect": "off",
|
|
"grunt.autoDetect": "off",
|
|
"jake.autoDetect": "off",
|
|
|
|
// Certain types of files are not relevant for the file browser
|
|
"files.exclude": {
|
|
"**/.git": true,
|
|
"**/.hg": true,
|
|
"**/.DS_Store": true,
|
|
},
|
|
|
|
// Files that may be interesting to browse manually, but avoided during searches
|
|
"search.exclude": {
|
|
"**/*.class": true,
|
|
"**/*.jsa": true,
|
|
"**/*.vardeps": true,
|
|
"**/*.o": true,
|
|
"**/*.obj": true,
|
|
"**/*.d": true,
|
|
"**/*.d.*": true,
|
|
"**/*_batch*": true,
|
|
"**/*.marker": true,
|
|
"**/compile-commands/": true,
|
|
"**/objs": true,
|
|
"**/launcher-objs": true,
|
|
"**/*.cmdline": true,
|
|
"**/*.log": true,
|
|
".vscode": true,
|
|
".clangd": true
|
|
},
|
|
|
|
// Trailing whitespace should never be used in this project
|
|
"files.trimTrailingWhitespace": true
|
|
}
|
|
} |