파일이름 변경하기 : git mv
깃허브를 사용하다 보니 이미 push한 파일의 이름을 변경하고 싶을 때가 있어서 방법을 찾아보았다.
로컬 디렉토리와 git저장소에서 모두 변경
git rm file_from file_to 명령어를 사용해서 로컬 디렉토리와 git저장소 모두에서 파일명을 변경해줄 수 있다.
여기서 기존 파일명을 file_from,
변경 파일명을 file_to라고 생각하면 된다.
예를 들어 index.html을 index2.html로 변경해주고 싶다면 ?
git rm index.html index2.html
git commit -m "renamed" # 변경 시점의 커밋을 해주어야 한다.
