[Users] .cactus/config

[Frank Loeffler]

On Thu, May 30, 2013 at 06:09:12PM +0200, Bruno Coutinho Mundim wrote:
> I use .cactus/config too. What's your suggestion for replacement if
> someone doesn't want to use simfactory?

Given that now at least three people spoke up, using .cactus/config, we
should no so easily discard it.

What about the following:

- If an option list is specified to 'make', use that - and _not_
  .cactus/config. No merging is done, no warning/error is issued.
  .cactus/config would simply be ignored in that case. This is new.
  Currently Cactus does some merging here.
- If no option list is provided, Cactus uses .cactus/config (if
  present). No warning or error again, maybe an 'info message'.
  This doesn't change.
- If someone (simfactory?) want to be sure to ignore .cactus/config, it
  can do so by providing an (possibly empty) option list.

Frank

-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 836 bytes
Desc: Digital signature
Url : http://lists.einsteintoolkit.org/pipermail/users/attachments/20130530/cb2923f0/attachment.bin