From: Junio C Hamano <gitster@pobox.com>
Date: Wed, 12 Dec 2012 19:35:38 GMT
Subject: Re: [PATCH] Documentation/git: add missing info about --git-dir command-line option
Message-ID: <7vmwxj3vxx.fsf@alter.siamese.dyndns.org>
In-Reply-To: <50C8B92F.8020408@gmail.com>

Manlio Perillo <manlio.perillo@gmail.com> writes:

> The Documentation/git.txt file, in the GIT_DIR environment variable
> section, did not mentioned that this value can also be set using the
> --git-dir command line option.
> ---

s/mentioned/mention/; Also it may help to say

	Unlike other environment variables (e.g. GIT_WORK_TREE,
	GIT_NAMESPACE),

somewhere in the description.

Please sign-off your patch (see Documentation/SubmittingPatches).

Thanks.

>  Documentation/git.txt | 1 +
>  1 file changed, 1 insertion(+)
>
> diff --git a/Documentation/git.txt b/Documentation/git.txt
> index e643683..60db292 100644
> --- a/Documentation/git.txt
> +++ b/Documentation/git.txt
> @@ -650,6 +650,7 @@ git so take care if using Cogito etc.
>  	If the 'GIT_DIR' environment variable is set then it
>  	specifies a path to use instead of the default `.git`
>  	for the base of the repository.
> +	The '--git-dir' command-line option also sets this value.
>   'GIT_WORK_TREE'::
>  	Set the path to the working tree.  The value will not be