You are viewing a plain text version of this content. The canonical link for it is here.

Posted to issues@maven.apache.org by "John Patrick (Jira)" <ji...@apache.org> on 2020/07/17 18:17:00 UTC

[jira] [Created] (MNG-6961) extensions profile option

John Patrick created MNG-6961:
---------------------------------

             Summary: extensions profile option
                 Key: MNG-6961
                 URL: https://issues.apache.org/jira/browse/MNG-6961
             Project: Maven
          Issue Type: Improvement
          Components: core, Profiles
            Reporter: John Patrick


I use the https://github.com/khmarbaise/maven-buildtime-profiler via .mvn/extensions.xml

But at the moment we checkin .mvn/extensions.xml.disabled. Then when someone wants to execute the profiler they rename it locally.

Can .mvn/extensions.xml had a profiles option added.

So extensions can be enabled via settings.xml activeProfiles and also command line switches.



--
This message was sent by Atlassian Jira
(v8.3.4#803005)