Difference between revisions of "Procedure for developing, reviewing and publishing a plugin"
From Event-B
Jump to navigationJump to searchimported>Mathieu m (Imported from http://rodin-b-sharp.wiki.sourceforge.net/New+Developments) |
imported>Jrloria m (Start a new development moved to Procedure for developing, reviewing and publishing a plugin: title was unclear) |
||
(2 intermediate revisions by one other user not shown) | |||
Line 6: | Line 6: | ||
==How to publish an exploratory plug-in== | ==How to publish an exploratory plug-in== | ||
+ | ''Note: for the following, you need write access to the SVN repository on sourceforge.'' | ||
− | To publish an exploratory plug-in from Eclipse, select the project that contains your plug-in in the project explorer, then right-click {{menu|Team > Share Project...}}. In the wizard window, select the repository location for the Rodin | + | To publish an exploratory plug-in from Eclipse, select the project that contains your plug-in in the project explorer, then right-click {{menu|Team > Share Project...}}. In the wizard window, select the repository location for the Rodin SVN server, then click {{button|Next}}. Select the {{radio|use selected module name}} radio-button and type the following in the attached entry: |
<pre> | <pre> | ||
_exploratory/<userName>/<projectName> | _exploratory/<userName>/<projectName> |
Latest revision as of 11:11, 26 March 2010
During the Deploy kick-off meeting held in Newcastle 19-21 February 2008, it has been decided that all new developments should proceed in the following way:
- Develop the new functionality in an exploratory plug-in.
- Make your plug-in available to others and collect feedback from them.
- Have your plug-in peer-reviewed by another developer.
- Finally, if your new development is considered OK, integrate it in the core plug-ins.
How to publish an exploratory plug-in
Note: for the following, you need write access to the SVN repository on sourceforge.
To publish an exploratory plug-in from Eclipse, select the project that contains your plug-in in the project explorer, then right-click
. In the wizard window, select the repository location for the Rodin SVN server, then click . Select the◎ use selected module name |
radio-button and type the following in the attached entry:
_exploratory/<userName>/<projectName>
where
<username>
is your SourceForge login and
<projectName>
is the full name of your exploratory plug-in. Then, proceed as usual by clicking
and as appropriate.