MarkusGerhart / spray

Automatically exported from code.google.com/p/spray
0 stars 0 forks source link

Copy generated plugin.xml to project root until deactivated #89

Closed GoogleCodeExporter closed 8 years ago

GoogleCodeExporter commented 8 years ago
When starting with a new project, the plugin.xml is generated to the src-gen 
folder. It must be manually copied and merged to the project root.

Usually during start up of a project it is not required to make manual changes, 
so the plugin.xml should be overwritten by default, until this feature is 
deactivated.

This should be either be configured through the Spray properties file, or by 
leveraging Output configurations. This may also be combined, so that the 
runtime OutputConfigurationProvider evaluates the Spray properties file.

Original issue reported on code.google.com by karsten....@googlemail.com on 16 Nov 2011 at 2:21

GoogleCodeExporter commented 8 years ago
there should be a property in properties file (and an option in the project 
creation wizard before):

override.plugin.xml 

with possible values:
 * yes: always overridden by each generation
 * no: never overridden by each generation
 * ask: show a confirmation dialog to the user to let him decide whether to override the file - this dialog should be only shown if the new plug-in.xml would differ from the existing one

Original comment by de.abg.r...@gmail.com on 2 Sep 2012 at 9:29

GoogleCodeExporter commented 8 years ago
alternative solution: 
http://5ise.quanxinquanyi.de/2013/01/11/avoiding-manual-merge-when-generating-pl
ugin-xml-with-xtextxtend/?utm_source=rss&utm_medium=rss&utm_campaign=avoiding-ma
nual-merge-when-generating-plugin-xml-with-xtextxtend

Original comment by de.abg.r...@gmail.com on 27 Jan 2013 at 10:19

GoogleCodeExporter commented 8 years ago
This issue was closed by revision 6bf2795fa2f4.

Original comment by de.abg.r...@gmail.com on 19 May 2013 at 1:48

GoogleCodeExporter commented 8 years ago
This issue was closed by revision 6bf2795fa2f4.

Original comment by karsten....@googlemail.com on 5 Jun 2013 at 8:23