Skip to content

[MNG-7914] Add a new maven.properties file #8731

@jira-importer

Description

@jira-importer

Guillaume Nodet opened MNG-7914 and commented

Looking at MNG-7772, this should not require any code change, but it's all about configuration.

I propose to load / interpolate the following files:

  • ${maven.home}/conf/maven.properties
  • ${maven.user.conf}/maven.properties
  • ${maven.project.conf}/maven.properties

Those files would be used to load additional user properties for Maven.  

maven.installation.conf = ${maven.home}/conf
maven.user.conf         = ${user.home}/.m2
maven.project.conf      = ${session.rootDirectory}/.mvn

${includes} = ?"${maven.user.conf}/maven.properties", \
              ?"${maven.project.conf}/maven.properties"

Being loaded early when Maven is loaded, those files could reference directories to load settings, toolchains and extensions.

In various places, the maven code could be simplified and offer more configuration points at the same time.


Issue Links:

  • MNG-7833 Re-evaluate properties before execution

  • MNG-7984 Provide a way to switch some defaults based on the model version used

  • MNG-6603 XDG Base Directory Specification support

  • MNG-8361 Document color style properties
    ("is required by")

Remote Links:

Backported to: 4.0.0-beta-4

0 votes, 5 watchers

Metadata

Metadata

Assignees

Labels

Type

No type

Projects

No projects

Relationships

None yet

Development

No branches or pull requests

Issue actions