Re: [jetty-dev] Re: start.options Re: [jetty-dev] Re: jetty7 distributio

[Greg Wilkins <gregw@xxxxxxxxxxx>]

Joakim Erdfelt wrote:
> I went ahead and added the following to start.config ...
> 
> OPTIONS~=default,*  ! property OPTIONS


I'm not sure I understand this.   We can already alter the default
in the start.config file by adding "default" to the sections that
we want.

I'd like to be able to set an entire default start line,
with properties and configuration files in something like
a start.ini

Also I still think we need the mechanism to auto generate
some options.

cheers