Re: [PATCH] Fix "inside work tree" detection on case-insensitive filesystems

2016-01-01 Thread Michael Haggerty
On 01/01/2016 03:58 PM, Johannes Schindelin wrote: > Hi Michael, > > On Tue, 29 Dec 2015, Michael Haggerty wrote: > >> On 09/28/2015 06:12 PM, Johannes Schindelin wrote: >>> Git has a config variable to indicate that it is operating on a file >>> system that is case-insensitive: core.ignoreCase.

Re: [PATCH] Fix "inside work tree" detection on case-insensitive filesystems

2016-01-01 Thread Johannes Schindelin
Hi Michael, On Tue, 29 Dec 2015, Michael Haggerty wrote: > On 09/28/2015 06:12 PM, Johannes Schindelin wrote: > > Git has a config variable to indicate that it is operating on a file > > system that is case-insensitive: core.ignoreCase. But the > > `dir_inside_of()` function did not respect that.

Re: [PATCH] Fix "inside work tree" detection on case-insensitive filesystems

2015-12-29 Thread Michael Haggerty
On 09/28/2015 06:12 PM, Johannes Schindelin wrote: > Git has a config variable to indicate that it is operating on a file > system that is case-insensitive: core.ignoreCase. But the > `dir_inside_of()` function did not respect that. As a result, if Git's > idea of the current working directory disa

[PATCH] Fix "inside work tree" detection on case-insensitive filesystems

2015-09-28 Thread Johannes Schindelin
Git has a config variable to indicate that it is operating on a file system that is case-insensitive: core.ignoreCase. But the `dir_inside_of()` function did not respect that. As a result, if Git's idea of the current working directory disagreed in its upper/lower case with the `GIT_WORK_TREE` vari