-
Feature Request
-
Resolution: Done
-
Major
-
4.2.0.Beta1
-
None
-
https://github.com/jbosstools/jbosstools-base/pull/257, https://github.com/jbdevstudio/jbdevstudio-product/pull/167, https://github.com/jbosstools/jbosstools-central/pull/234, https://github.com/jbosstools/jbosstools-download.jboss.org/pull/352, https://github.com/jbdevstudio/jbdevstudio-devdoc/pull/77
Currently, discovery urls are defined at build time and require modifying eclipse.ini or jbdevstudio.ini for each release. This is often error prone / annoying.
manderse@redhat.com came up with the following idea :
make all these URLs (and others if applicable) defined in one place, that we can update remotely.
So a remote properties file would contain the urls per project/product and per version.
If we have foo|devstudio|8.0.0.Beta2=bar then :
- devstudio 8.0.0.Beta2-123456-65432 will get bar.
- If no matching key/version is defined, then we'd look for foo|devstudio|8.0.0
- then foo|devstudio|8.0
- then foo|devstudio|8
- then foo|devstudio
- then foo
That solution allows us to fine tune discovery urls per version if needed and doesn't require users/QE to mess with *.ini to test each milestone.
http://download.jboss.org/jbosstools/configuration/ide-config.properties would be the bundle resource master of all properties.