On Mon, 1 Dec 2003, Mark Taylor wrote:
> > Do the settings in .stardev.properties get used at runtime?
>
> no - at least my understanding is that they are not intended to
> (if anyone actually reads this file at runtime please correct this
> statement).
>
> The file ~/.starjava.properties is where runtime properties should go
> (at least that's been my practice).
That's right, anyone who may be .stardev.properties at runtime shouldn't.
It's just for configuring the build.
Peter.
|