Is git not case sensitive?

会有一股神秘感。 提交于 2019-11-27 16:59:07
Adam Dymitruk

It will be seen as 2 different things but will cause you issues on a non-case-sensitive system. If this is the case, ensure you are tab-completing any paths or file names. Further, to change the name of something in just the case, do this:

mv file.txt temp.txt
git add -A
git commit -m "renaming..."
mv temp.txt File.txt
git add -A
git commit --amend -m "Renamed file.txt to File.txt"

This is an explicit way of making changes committing them, then collapsing the commits. A shorter way to do it is to manipulate the index and working folder all in one:

git mv file.txt temp.txt
git mv temp.txt File.txt
git commit -m "Renamed file.txt to File.txt"

This is related to adjusting directory names as well: git mv and only change case of directory

It is going to depend on the core.ignorecase configuration value, which is set to false in case-sensitive filesystems and true in msysgit on Windows.

core.ignorecase

If true, this option enables various workarounds to enable git to work better on filesystems that are not case sensitive, like FAT. For example, if a directory listing finds "makefile" when git expects "Makefile", git will assume it is really the same file, and continue to remember it as "Makefile".

The default is false, except git-clone(1) or git-init(1) will probe and set core.ignorecase true if appropriate when the repository is created.

This is far easier:

git mv Electronics electronics -f
git commit -m "That was easy!"
git config --system core.ignorecase false

In my scenario I had two folders tests and Tests which showed as two separate folders in Github but a single Tests folder in Windows. My aim was to combine them both into tests.

I used the following approach:

  1. Create a new folder temp
  2. Copy all content from Tests to temp
  3. Delete Tests
  4. execute git rm Tests -r
  5. Rename temp to tests
易学教程内所有资源均来自网络或用户发布的内容,如有违反法律规定的内容欢迎反馈
该文章没有解决你所遇到的问题?点击提问,说说你的问题,让更多的人一起探讨吧!