[git] 파일명 수정하기

git을 사용하다보면 파일명을 잘못 입력한 상태로 push 할 때가 있습니다. 직접 파일명을 바꿔서 다시 올리게 되면 두 개의 파일이 올라가지기 때문에 git에서 파일명을 수정해야합니다. 

 

 

git mv [변경 전 name] [변경 후 name] 을 입력하면 파일명이 변경됩니다. 이때 파일의 확장자명도 꼭 작성해줘야합니다. 그렇지 않으면 "fatal: bad source, source=Feature_extract/TIVA_featre.R, destination=Feature_extract/TIVA_feature.R" 와 같은 에러가 발생합니다. 

 

 

다시 git pull을 해서 해당 파일명을 확인해보면 수정된 것을 확인할 수 있습니다.