diff options
| author | Johannes Schindelin <johannes.schindelin@gmx.de> | 2019-01-18 16:24:54 +0300 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2019-01-18 20:53:06 +0300 |
| commit | d8727b3687c1d249e84be71a581cc1fb0581336a (patch) | |
| tree | 02bf4c77ad36d0cec37af52ce94fe6a50c9a8fe3 /t/t3700-add.sh | |
| parent | 77556354bb7ac50450e3b28999e3576969869068 (diff) | |
abspath_part_inside_repo: respect core.ignoreCase
If the file system is case-insensitive, we really must be careful to
ignore differences in case only.
This fixes https://github.com/git-for-windows/git/issues/735
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 't/t3700-add.sh')
| -rwxr-xr-x | t/t3700-add.sh | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/t/t3700-add.sh b/t/t3700-add.sh index 37729ba258..be582a513b 100755 --- a/t/t3700-add.sh +++ b/t/t3700-add.sh @@ -402,4 +402,11 @@ test_expect_success 'all statuses changed in folder if . is given' ' test $(git ls-files --stage | grep ^100755 | wc -l) -eq 0 ' +test_expect_success CASE_INSENSITIVE_FS 'path is case-insensitive' ' + path="$(pwd)/BLUB" && + touch "$path" && + downcased="$(echo "$path" | tr A-Z a-z)" && + git add "$downcased" +' + test_done |