在团队使用Git的时候,尤其是多人合作的项目,经常会出现一个问题,就是由于同一个文件名大小写不一致导致无法合并的问题。
那我们应该怎么来解决呢?
可以使用git rm –cached将冲突的文件从Git仓库的缓存中删除,然后改名后再加入到git中
git rm --cached <filename> |
当然,为了一劳永逸,我们可以让团队成员都更改配置git的大小写敏感,避免某些windows用户继续制造这样的问题。
git config core.ignorecase false |
“In me the tiger sniffes the rose.” -- Siegfried Sasson
在团队使用Git的时候,尤其是多人合作的项目,经常会出现一个问题,就是由于同一个文件名大小写不一致导致无法合并的问题。
那我们应该怎么来解决呢?
可以使用git rm –cached将冲突的文件从Git仓库的缓存中删除,然后改名后再加入到git中
git rm --cached <filename> |
当然,为了一劳永逸,我们可以让团队成员都更改配置git的大小写敏感,避免某些windows用户继续制造这样的问题。
git config core.ignorecase false |