Re: git silently ignores include directive with single quotes

From: Jeff King <peff@peff.net>
Date: Sep 9, 2018, 02:33 UTC
Message-ID: <20180909023332.GA14762@sigill.intra.peff.net>
In-Reply-To: <ad56c575-1211-61d2-daed-5b0da61db738@ramsayjones.plus.com>

On Sat, Sep 08, 2018 at 11:10:44PM +0100, Ramsay Jones wrote:

Show 12 quoted lines

> > Probably:
> > 
> >   [include]
> >   warnOnMissing = false
> >   path = ...
> 
> I was going to suggest, inspired by Makefile syntax, that
> [-include] would not complain if the file was missing ...
> except, of course, it's too late for that! ;-)
> 
> I suppose [+include] could complain if the file is missing
> instead, ... dunno.

I think that's syntactically invalid. At any rate, there are clearly three options for setting a bit:

  1. In the section header (+include, or Ævar's includeIf suggestion).

  2. In another key (which looks pretty clean, but does introduce
     ordering constraints).

  3. In the key name (maybePath or similar).

I don't have a huge preference between them.

-Peff