RE: Setting which remote repository to publish to.
At 11:03 -0500 6/19/03, Moretti, Luciano (MED) wrote: This brings up another question- is there documentation on the settings available for the project.properties, build.properties, and similar files? I can't seem to find it if there is. In general, properties are documented in the plugin documentation for the plugins which use them. See http://maven.apache.org/reference/plugins/index.html The properties you asked about are discussed in the User Guide: http://maven.apache.org/reference/user-guide.html Joe -- -- Joe Germuska [EMAIL PROTECTED] http://blog.germuska.com "If nature worked that way, the universe would crash all the time." --Jaron Lanier - To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
RE: Setting which remote repository to publish to.
This brings up another question- is there documentation on the settings available for the project.properties, build.properties, and similar files? I can't seem to find it if there is. Luciano -Original Message- From: Joe Germuska [mailto:[EMAIL PROTECTED] Sent: Thursday, June 19, 2003 11:00 AM To: Maven Users List Subject: Re: Setting which remote repository to publish to. At 10:48 -0500 6/19/03, Moretti, Luciano (MED) wrote: >Ok- I know I've seen this somewhere- > >How do you set the remote repository to publish to- >I remember seeing something about using the project.properties to do >this, but I can't find the documentation now. maven.repo.central=your.repository.com maven.repo.central.directory=/path/to/repo/root project.properties is probably the best place to put this, since it's likely to be logically constant for all users of the same project. Of course you can set these using any of the maven property setting techniques. Joe -- -- Joe Germuska [EMAIL PROTECTED] http://blog.germuska.com "If nature worked that way, the universe would crash all the time." --Jaron Lanier - 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]
Re: Setting which remote repository to publish to.
At 10:48 -0500 6/19/03, Moretti, Luciano (MED) wrote: Ok- I know I've seen this somewhere- How do you set the remote repository to publish to- I remember seeing something about using the project.properties to do this, but I can't find the documentation now. maven.repo.central=your.repository.com maven.repo.central.directory=/path/to/repo/root project.properties is probably the best place to put this, since it's likely to be logically constant for all users of the same project. Of course you can set these using any of the maven property setting techniques. Joe -- -- Joe Germuska [EMAIL PROTECTED] http://blog.germuska.com "If nature worked that way, the universe would crash all the time." --Jaron Lanier - To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
Setting which remote repository to publish to.
Ok- I know I've seen this somewhere- How do you set the remote repository to publish to- I remember seeing something about using the project.properties to do this, but I can't find the documentation now. Luciano - To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
