org.eclipse.jdt.core.prefs
设置的 defaultJdtPrefs.properties
文件。对于在执行 gradle eclipse
时创建 org.eclipse.jdt.ui.prefs
,您可以使用以下方式:tasks.cleanEclipse.doLast {
delete("${project.projectDir}/.settings/org.eclipse.jdt.ui.prefs")
}
tasks.eclipse.doLast {
File saveActionPrefs = file("${project.projectDir}/.settings/org.eclipse.jdt.ui.prefs")
if (saveActionPrefs.exists()) {
logger.warn("UI preferences already exist and will not be overridden. Use task 'cleanEclipse' first.")
} else {
saveActionPrefs.append('''
eclipse.preferences.version=1
<<HERE COMES YOUR CONTENT>>
'''. stripIndent())
}
}
org.eclipse.jdt.ui.prefs
文件;-)