June, 13th:What were your questions?
I've seen, that the overall user preferences for maven have to be stored in ${user.home}/build.properties. I'd prefer to either put it into ${user.home}/.maven/build.properties or to rename it to ${user.home}/maven.build.properties. Can I manage it from a config file? IMO, build.properties is a common name, and if I cannot assign it after a while to the correct application (who cares about the config of a running application?), it could be accidently deleted.
June, 14th: could You please support a goal for the JDK 1.5 Apt utility?
June, 20th:
parameters for goals seem to be poorly documented. Is there a chance to ask the plugins for parameters, probably even programmatically?
June, 20th:
in the user guide it is mentioned, that project.xml contains a jelly script. As I've not found any maven jelly tags like 'jelly:project', I wonder where is the jelly part or how maven parses/executes the file. Probably I can find out myself, if You could tell me, where (in which java source) the file project.xml is parsed.
Okay, the last two are of yesterday, but it didn't seem to make a difference, so I posted after I've seen some activity on the list. The first and the second one could probably result in an RFE, so I wanted to get a reply before Maven is final.
Kind regards
Peter
On Mon, 21 Jun 2004 08:02:35 +0200, Peter Nabbefeld <[EMAIL PROTECTED]> wrote:
Hi,
I've asked 4 questions before and didn't get any answer - could anybody tell me why? Is this probably an apache-members-only mailing list?
Kind regards
Peter
--------------------------------------------------------------------- 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]
