ThinkChat2.0新版上线,更智能更精彩,支持会话、画图、阅读、搜索等,送10W Token,即刻开启你的AI之旅 广告
为了提供给用户webstorm所有企业资源库的插件必须在文件中列出updatePlugins.xml他们的url和版本号一起。(见该文件必须提供的相应资料库中指定的url管理企业插件库)。 本身是由它们各自的url识别并且因此插件可以位于不同的web服务器。 添加插件到企业插件库 dtd为updateplugins.xml 要将插件添加到企业的插件库 上传你的插件jar到web服务器。 添加插件定义updatePlugins.xml。如果这个文件不存在,在对应于库中的url位置创建它。 在插件定义updatePlugins.xml可能类似于此: <plugin> ... <plugin ID="MyPlugin" URL="http://plugins.example.com:8080/myPlugin.jar" 版本="1.0"/> ... </plugin> 要发布同样的插件的新版本上传相应的插件jar到存储库并更改值,,version在插件定义属性。 dtd为updateplugins.xml 该文件updatePlugins.xml必须对应于以下文档类型定义(DTD): ~~~ <!DOCTYPE[插件 <!元件 插件(plugin)*> <!元件 插件(#PCDATA)> <!attlist 插件idCDATA#REQUIREDURL数据CDATA#REQUIRED版本#REQUIRED>]> ~~~