Hi all,
We're using Intellij Idea for most of our development work and recently a colleague created a plugin for Intellij Idea.
I've read up on distributing this plugin within te company, specific using the Enterprise Plugin Repository as explained on:
http://www.jetbrains.com/idea/webhelp/adding-plugins-to-enterprise-repositories.html
and
http://www.jetbrains.com/idea/webhelp/managing-enterprise-plugin-repositories.html
I've configured a webserver to host a repository and created an updatePlugins.xml
When I try to add the plugin-repository using steps 1 - 7 as described on the second link it works like a charm.
The plugin is discovered, can be installed and is usable.
I've also noticed the alternative option:
As an alternative, you can specify the list of URLs for the enterprise plugin repositories in the idea.properties file. This file is located in the IntelliJ IDEA installation folder in the bin directory.
Open the file and add the following line:
-D idea.plugin.hosts=[URL1],[URL2],...[URLn]
where [URL1],[URL2],...[URLn] is a comma-separated list of the corresponding URLs.
I've tried to setup this on an install here with the same url I've used in the manual setup.
With or without the -D option, tried adding it to idea64.vmoptions, surrounding the url with ", specifically pointing to the properties file like:
IDEA_PROPERTIES=/opt/idea-ic/bin/idea.properties idea-ic
when starting intellij idea. It all leads to the same result,... not having the extra repository.
Somehow it looks like the plugin repository is not being picked up. We have both the ultimate edition and community edition. When trying this I've used the community edition.
I hope someone has an idea on how to do this correctly because at this point I'm at a loss....
Thanks in advance!