Uploaded image for project: 'Tools (JBoss Tools)'
  1. Tools (JBoss Tools)
  2. JBIDE-12608

Replace local.* properties and profiles by Maven mirroring

    XMLWordPrintable

Details

    • Enhancement
    • Status: Closed (View Workflow)
    • Major
    • Resolution: Done
    • 4.0.0.Alpha2
    • 4.0.0.CR1
    • build
    • None

    Description

      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.

      Attachments

        1. hudson-settings.xml
          1 kB
        2. hudson-settings.xml
          1 kB
        3. hudson-settings.xml.patch
          2 kB
        4. settings.xml_0.png
          settings.xml_0.png
          5 kB
        5. settings.xml_1.png
          settings.xml_1.png
          49 kB

        Issue Links

          Activity

            People

              mistria@redhat.com Mickael Istria
              mistria@redhat.com Mickael Istria
              Votes:
              0 Vote for this issue
              Watchers:
              3 Start watching this issue

              Dates

                Created:
                Updated:
                Resolved: