That was my work... It was a little quicker and nastier than it should have been :)
It's just an optional part of the install process for a user to avoid downloading the lib/ directory again from the repository. A nicer solution is probably to distribute them in $MAVEN_HOME/repository/.../jars/... Instead of lib and have the forehead config point there, then have maven check that directory if the file is not in the local repository before downloading it. Cheers, Brett > -----Original Message----- > From: Steve Garcia [mailto:[EMAIL PROTECTED] > Sent: Tuesday, 25 November 2003 7:38 AM > To: 'Maven Developers List' > Subject: RE: install_repo scripts? > > > I believe they copy over all of the maven jar dependencies to > your local repository (there are over 10). I presume this is > so you don't have to wait several minutes to attain a goal > the first time you use Maven because those jars are used by > so many plugins. > > I don't think they are especially useful, but other people > might find use for them. > > > -----Original Message----- > > From: Jason van Zyl [mailto:[EMAIL PROTECTED] > > Sent: Monday, November 24, 2003 12:33 PM > > To: Maven Developers List > > Subject: install_repo scripts? > > > > > > What are these for exactly? > > -- > > jvz. > > > > Jason van Zyl > > [EMAIL PROTECTED] > > http://tambora.zenplex.org > > > > In short, man creates for himself a new religion of a > > rational and technical order to justify his work and to be > > justified in it. > > > > -- Jacques Ellul, The Technological Society > > > > > > > --------------------------------------------------------------------- > > To unsubscribe, e-mail: [EMAIL PROTECTED] > > For additional commands, e-mail: [EMAIL PROTECTED] > > > > > > > --------------------------------------------------------------------- > To unsubscribe, e-mail: [EMAIL PROTECTED] > For additional commands, e-mail: [EMAIL PROTECTED] >
