[jbosstools-issues] [JBoss JIRA] (JBIDE-12608) Replace local.* properties and profiles by Maven mirroring

[Nick Boldt (JIRA)]

     [ https://issues.jboss.org/browse/JBIDE-12608?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ]

Nick Boldt closed JBIDE-12608.
------------------------------



Closing -- using mirrors of URLs seems to work better than mirrors of IDs. 
                
> Replace local.* properties and profiles by Maven mirroring
> ----------------------------------------------------------
>
>                 Key: JBIDE-12608
>                 URL: https://issues.jboss.org/browse/JBIDE-12608
>             Project: Tools (JBoss Tools)
>          Issue Type: Enhancement
>          Components: Build/Releng
>    Affects Versions: 4.0.0.Alpha2
>            Reporter: Mickael Istria
>            Assignee: Mickael Istria
>             Fix For: 4.0.0.CR1
>
>         Attachments: hudson-settings.xml, hudson-settings.xml, hudson-settings.xml.patch, settings.xml_0.png, settings.xml_1.png
>
>
> Currently, we deal with optimization for Jenkins by multiple local.* properties and local.* profiles.
> Those properties and profiles are just used in order to replace repository URL.
> Maven has the concept of mirroring for that, and without adding a profile, we can tell Maven to consume another URL for a given repo. Moreover, Tycho will support mirrors for repo in .target files starting from 0.16.0.
> WE should move to the mirror approach since it keeps things clear and separate issues: pom describe build, mirror allow to override repo without any change.
> Seems like Maven supports having 2 settings.xml files as input (one with -gs and one with -s), so no big difficulty here.

--
This message is automatically generated by JIRA.
If you think it was sent incorrectly, please contact your JIRA administrators
For more information on JIRA, see: http://www.atlassian.com/software/jira