diff options
author | Johannes Schindelin <johannes.schindelin@gmx.de> | 2018-10-23 03:52:48 -0700 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2018-10-24 14:48:38 +0900 |
commit | 937974fc65f517a67bfb09086b3726e3498d65b2 (patch) | |
tree | e11a8788369c3342e0558aa351dfe7326fb68ba2 /ci/install-dependencies.sh | |
parent | Fifth batch for 2.20 (diff) | |
download | tgif-937974fc65f517a67bfb09086b3726e3498d65b2.tar.xz |
mingw: ensure `getcwd()` reports the correct case
When switching the current working directory, say, in PowerShell, it is
quite possible to use a different capitalization than the one that is
recorded on disk. While doing the same in `cmd.exe` adjusts the
capitalization magically, that does not happen in PowerShell so that
`getcwd()` returns the current directory in a different way than is
recorded on disk.
Typically this creates no problems except when you call
git log .
in a subdirectory called, say, "GIT/" but you switched to "Git/" and
your `getcwd()` reports the latter, then Git won't understand that you
wanted to see the history as per the `GIT/` subdirectory but it thinks you
wanted to see the history of some directory that may have existed in the
past (but actually never did).
So let's be extra careful to adjust the capitalization of the current
directory before working with it.
Reported by a few PowerShell power users ;-)
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'ci/install-dependencies.sh')
0 files changed, 0 insertions, 0 deletions