Re: pretend to be on a case insensitive filesystem

[Patrice Dumas]

On Sun, Jul 22, 2012 at 10:03:24PM +0000, Karl Berry wrote:
> 
> I think it's fine for it to be a conf variable, since it can set
> perfectly easily from the cmd line.  Probably preferable.
> 
> BTW, reviewing the --help message, I wonder if --set-init-variable
> should be renamed to --set-conf-variable, since we always call those
> things "configuration variables", not "initialization variables".  We
> could support both names if need be.  Wdyt?

I have no precise idea on that.  §i can makke the change.  I think it is
better to support only one name.

-- 
Pat