>>>>> "Martin" == Martin Buchholz <[EMAIL PROTECTED]> writes:
Martin> But this is just a special case that will reduce the
Martin> mismatches, but leave the most damaging mismatches (because
Martin> the most confusing and misleading and most likely to be
Martin> silent) to the end.
I think we all agree Alexandre proposal is very acceptable. In
addition, one just has to export cache_file=./config.cache to have
what she was used to.
Martin> My new vague proposal above would leave the config.cache used
Martin> mostly for programs that were designed to be used together.
I don't agree here (or I misunderstood your suggestion). The
decisions belongs to the installer, period. She can use both
$cache_file (we might discuss yet another envvar name, but I don't see
much point here) and --cache-file to do what we wants, this seems
enough to me.
Martin> I shouldn't be admitting this, but it is possible to turn off
Martin> the caching for a specific variable by just setting a
Martin> particular shell variable.
How??? I see a means with `unset', but it is not portable, so it is
excluded.
Akim
