Junio C Hamano <gitster@xxxxxxxxx> writes: > Brian Norris <computersforpeace@xxxxxxxxx> writes: > >> I mostly just copied from boilerplate on another option. IIRC, there >> were at least two other options that were documented similarly. > > My quick grep didn't find 'another option' other than include.path, > but how about this as a preparatory step? > > -- >8 -- > Subject: [PATCH] config: describe 'pathname' value type And then, after applying this either before or after your 1/2, we can squash this into your 2/2. diff --git a/Documentation/config.txt b/Documentation/config.txt index 39867f5..b7d3e69 100644 --- a/Documentation/config.txt +++ b/Documentation/config.txt @@ -1665,13 +1665,11 @@ http.emptyAuth:: authentication. http.cookieFile:: - File containing previously stored cookie lines which should be used + The pathname of a file containing previously stored cookie lines, + which should be used in the Git http session, if they match the server. The file format of the file to read cookies from should be plain HTTP headers or the Netscape/Mozilla cookie file format (see linkgit:curl[1]). - The value of `http.cookieFile` is subject to tilde expansion: `~/` is - expanded to the value of `$HOME`, and `~user/` to the specified user's - home directory. NOTE that the file specified with http.cookieFile is used only as input unless http.saveCookies is set. -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html