我从日食产品中导出了首选项,以将其与我的plugin_customization.ini
文件进行比较。导出的*.epf
文件的前两行如下:
#Wed Jul 25 10:59:27 EEST 2018
\!/=
\!/=
是什么意思?
我在维护的plugin_cusotomization.ini
文件中也注意到了这一点,但它位于文件的中间。
答案 0 :(得分:1)
这是此首选项保存的Eclipse首选项(IEclipsePreferences
)中节点的名称。
!
指定这是一个首选项节点定义(前面的\
只是一个属性文件转义符)。 /
是根节点的路径。该属性没有值。
此代码位于org.eclipse.core.internal.preferences.PreferencesService
private static final char EXPORT_ROOT_PREFIX = '!';
private static final float EXPORT_VERSION = 3;
private static final String VERSION_KEY = "file_export_version"; //$NON-NLS-1$
public IStatus exportPreferences(IEclipsePreferences node, OutputStream output, String[] excludesList) throws CoreException {
... other code
properties = convertToProperties(node, excludesList);
if (properties.isEmpty())
return Status.OK_STATUS;
properties.put(VERSION_KEY, Float.toString(EXPORT_VERSION));
properties.put(EXPORT_ROOT_PREFIX + node.absolutePath(), EMPTY_STRING);