|
[
Permalink
| « Hide
]
Brett Porter added a comment - 16/May/05 02:21 AM
confirmed bug
I think it's best to override maven.repo.local it in ${user.home}/build.properties. In this case the problem you indicated doesn't appear.
On the other hand : is there a sense in overriding the default value of maven.repo.local in project.properties?
If a property can be over-ridden, it should be capable of being over-ridden from anywhere (i.e. command line, ${user.home|/build.properties, project.properties, etc.). A new user might not think to try all 10,000 different ways of doing the same thing; they might (probably will) stop after the first, obvious, way of doing it does not work. I'm not saying putting it in project.propeties makes sense or is the best way to do it; I'm saying it isn't working as advertised.
So, are you saying putting it in ${user.home}/build.properties works with 1.0.2? Jamie |
|||||||||||||||||||||||||||||||||||||||||||||