Simplify build of custom initjars
| Project: | JNode Core |
| Component: | Miscellaneous |
| Category: | feature request |
| Priority: | normal |
| Assigned: | admin |
| Status: | closed |
Jump to:
Description
The build of custom initjars now requires the build.xml to be changed. This should be avoided.
Have the build generate initjars for all plugin-lists in a given directory and allow that directory to be customized.
- Login to post comments
Solution
To build custom initjars, you must set the custom.plugin-list.dir property in a jnode.properties (derive it from jnode.properties.dist).
This property must contain the directory that contains your custom plugin list files. These list files should be named <name>-plugin-list.xml. The last part is important, since the build filters on it.
To avoid the build of the default initjars (default.jgz, full.jgz etc), you can set the no.default.initjars property.
location of jnode.properties and jnode.properties.dist ?
What is the location of these files ?
Moreover it would be usefull that preferences are loaded from jnode.properties
Fabien
#1