Re: [PATCH v2] config: allow ~/ and ~user/ in include.path value

From: Junio C Hamano <gitster@pobox.com>
Date: Apr 25, 2012, 20:14 UTC
Message-ID: <xmqqwr53bmc7.fsf@junio.mtv.corp.google.com>
In-Reply-To: <20120425120036.GB21579@sigill.intra.peff.net>

Jeff King <peff@peff.net> writes:

Show 20 quoted lines

> diff --git a/Documentation/config.txt b/Documentation/config.txt
> index fb386ab..0b3f291 100644
> --- a/Documentation/config.txt
> +++ b/Documentation/config.txt
> @@ -95,7 +95,9 @@ included file is expanded immediately, as if its contents had been
>  found at the location of the include directive. If the value of the
>  `include.path` variable is a relative path, the path is considered to be
>  relative to the configuration file in which the include directive was
> -found. See below for examples.
> +found. The value of `include.path` is subject to tilde expansion: `~/`
> +is expanded to the value of `$HOME`, and `~user/` to the specified
> +user's home directory. See below for examples.
>  
>  Example
>  ~~~~~~~
> @@ -122,6 +124,7 @@ Example
>  	[include]
>  		path = /path/to/foo.inc ; include by absolute path
>  		path = foo ; expand "foo" relative to the current file
> +		path = ~/foo ; expand "foo" in your $HOME directory

Modulo s/~/{tilde}/ in the body text (but not in the displayed example), looked good to me, so I queued with two amends.

Thanks.