You are viewing a plain text version of this content. The canonical link for it is here.
Posted to dev@maven.apache.org by ji...@codehaus.org on 2004/06/28 17:52:14 UTC
[jira] Closed: (MPPLUGIN-16) Plugin plugin copies to ${maven.home}/plugins instead of ${maven.plugin.dir}
Message:
The following issue has been closed.
---------------------------------------------------------------------
View the issue:
http://jira.codehaus.org/browse/MPPLUGIN-16
Here is an overview of the issue:
---------------------------------------------------------------------
Key: MPPLUGIN-16
Summary: Plugin plugin copies to ${maven.home}/plugins instead of ${maven.plugin.dir}
Type: Bug
Status: Closed
Priority: Minor
Resolution: FIXED
Original Estimate: Unknown
Time Spent: Unknown
Remaining: Unknown
Project: maven-plugin-plugin
Assignee: Brett Porter
Reporter: Scott Moyer
Created: Mon, 21 Jun 2004 11:15 AM
Updated: Mon, 28 Jun 2004 11:52 AM
Description:
We're using ${maven.plugin.dir} to specify an alternate location for the internal plugin directory so we can lock down the maven home directory.
Goal plugin:install has ${maven.home}/plugins hardcoded as the target for the internal plugin directory.
Can the target be changed to ${maven.plugin.dir} so plugins will be installed into whichever plugin directory you are currently working from?
49c49
< todir="${maven.home}/plugins"/>
---
> todir="${maven.plugin.dir}"/>
---------------------------------------------------------------------
JIRA INFORMATION:
This message is automatically generated by JIRA.
If you think it was sent incorrectly contact one of the administrators:
http://jira.codehaus.org/secure/Administrators.jspa
If you want more information on JIRA, or have a bug to report see:
http://www.atlassian.com/software/jira
---------------------------------------------------------------------
To unsubscribe, e-mail: dev-unsubscribe@maven.apache.org
For additional commands, e-mail: dev-help@maven.apache.org