You are viewing a plain text version of this content. The canonical link for it is here.
Posted to issues@maven.apache.org by "cstamas (via GitHub)" <gi...@apache.org> on 2024/11/06 15:05:34 UTC

[PR] Add maven.repo.local.head [maven]

cstamas opened a new pull request, #1881:
URL: https://github.com/apache/maven/pull/1881

   As counterpart to maven.repo.local.tail, but this one "prepends" while other "appends". This means one can do like this
   
   ```
   $ mvn install -Prun-its -Dmaven.repo.local.head=~/.m2/repository-id
   ```
   
   And have stuff installed into dedicated IT local repo (as IT buts must be installed) instead to pollute their local repo.
   


-- 
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.

To unsubscribe, e-mail: issues-unsubscribe@maven.apache.org

For queries about this service, please contact Infrastructure at:
users@infra.apache.org


Re: [PR] [MNG-8370] Add maven.repo.local.head [maven]

Posted by "slawekjaranowski (via GitHub)" <gi...@apache.org>.
slawekjaranowski commented on PR #1881:
URL: https://github.com/apache/maven/pull/1881#issuecomment-2463990979

   @cstamas, @gnodet what do you think to add it to 3.9.x?


-- 
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.

To unsubscribe, e-mail: issues-unsubscribe@maven.apache.org

For queries about this service, please contact Infrastructure at:
users@infra.apache.org


Re: [PR] [MNG-8370] Add maven.repo.local.head [maven]

Posted by "cstamas (via GitHub)" <gi...@apache.org>.
cstamas commented on PR #1881:
URL: https://github.com/apache/maven/pull/1881#issuecomment-2465035341

   Yes plase


-- 
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.

To unsubscribe, e-mail: issues-unsubscribe@maven.apache.org

For queries about this service, please contact Infrastructure at:
users@infra.apache.org


Re: [PR] [MNG-8370] Add maven.repo.local.head [maven]

Posted by "cstamas (via GitHub)" <gi...@apache.org>.
cstamas merged PR #1881:
URL: https://github.com/apache/maven/pull/1881


-- 
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.

To unsubscribe, e-mail: issues-unsubscribe@maven.apache.org

For queries about this service, please contact Infrastructure at:
users@infra.apache.org


Re: [PR] [MNG-8370] Add maven.repo.local.head [maven]

Posted by "gnodet (via GitHub)" <gi...@apache.org>.
gnodet commented on PR #1881:
URL: https://github.com/apache/maven/pull/1881#issuecomment-2464041076

   > @cstamas, @gnodet what do you think to add it to 3.9.x?
   
   This comes from trying to improve ITs in maven master, but why not ?
   That could make sense and would ease switching between Maven 3 and 4 when using this feature.  


-- 
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.

To unsubscribe, e-mail: issues-unsubscribe@maven.apache.org

For queries about this service, please contact Infrastructure at:
users@infra.apache.org


Re: [PR] [MNG-8370] Add maven.repo.local.head [maven]

Posted by "slawekjaranowski (via GitHub)" <gi...@apache.org>.
slawekjaranowski commented on PR #1881:
URL: https://github.com/apache/maven/pull/1881#issuecomment-2465064468

   Ok, I will do


-- 
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.

To unsubscribe, e-mail: issues-unsubscribe@maven.apache.org

For queries about this service, please contact Infrastructure at:
users@infra.apache.org