用links方式安装Eclipse插件（TPTP插件）

一、使用links方式安装eclipse插件
　　
　　假设eclipse安装目录是D:\eclipse，待安装插件目录是D:\EclipsePlugins。以安装TPTP为例说明如何使用links方式安装eclipse插件。
　　
　　安装TPTP
　　
　　在D:\EclipsePlugins中建立如下的目录结构：
　　
　　D:\EclipsePlugins\tptp.runtime-TPTP-4.4.0\eclipse
　　
　　将TPTP安装文件解压到此目录中，这个目录将包含一个plugins目录，即目录结构是这样的：
　　
　　D:\EclipsePlugins\tptp.runtime-TPTP-4.4.0\eclipse\plugins
　　
　　在D:\eclipse\links目录下新建文件，命名为TPTP.link，编辑此文件，加入如下内容并保存。
　　
　　path = D:\EclipsePlugins\tptp.runtime-TPTP-4.4.0
　　
　　eclipse将会到指定的目录下去查找eclipse\features目录和eclipse\plugins目录，看是否有合法的功能部件和（或）插件。也就是说，目标目录必须包含一个 \eclipse 目录。如果找到，附加的功能部件和插件在运行期配置是将是可用的，如果链接文件是在工作区创建之后添加的，附加的功能部件和插件会作为新的配置变更来处理。
　　
　　其它压缩文件解压后若已经包含eclipse\plugins目录，则不需要建立eclipse目录。
　　
　 　二、插件管理
　　
　　启动eclipse，在菜单Help->Software Updates->Manage Configuration...下，启用或者禁用插件。
　　
　　 三、说明
　　
　　1. 插件可以分别安装在多个自定义的目录中。
　　
　　2. 一个自定义目录可以安装多个插件。
　　
　　3. link文件的文件名及扩展名可以取任意名称，比如plugin.txt，myplugin都可以。
　　
　　4. link文件中path=插件目录的path路径分隔要用\\或是/
　　
　　5. link文件可以有多行path=插件目录，对应多个自定义插件目录，每一行的path参数都将生效。
　　
　　6. 在links目录也可以有多个link文件，每个link文件中的path参数都将生效。
　　
　　7. 插件目录可以使用相对路径。
　　
　　8. 可以在links目录中建立一个子目录，转移暂时不用的插件到此子目录中，加快eclipse启动。
　　
　　9. 如果安装后看不到插件，把eclipse安装目录下的configuration/org.eclipse.update/目录整个删除，重启eclipse。