git 폴더명 변경 미적용 이슈 - boostcamp-2020/Project15-A-Client-Based-Formula-Editor GitHub Wiki

git은 파일명의 대소문자를 구분하지 못한다. 따라서 특별한 처리가 필요합니다.

1. mv 명령어 사용

git mv --force 옛날폴더명 바꿀폴더명
git commit
git push

참고 : 참고 블로그

2. git config 설정 끄기 바꿀 폴더명이 여러개라 한번에 적용할 방법이 없을까하고 찾아보았다. git config를 변경하면 적용이 가능하다.

git config core.ignorecase false

문제점
이후 push할 경우 기존 폴더도 생성되어있었다. 따라서 이미 push되어있는 원격 저장소의 untracked인 파일들을 지워줘야한다.

git rm -r --cached .

--cached 옵션은 remote repo의 파일을 지운다 참고

하지만, 2번 방식은 최후의 방법이니 1번방식을 통해 폴더명 바꾸는 것을 권장합니다.