git(3)
-
[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을 해서 해당 파일명을 확인해보면 수정된 것을 확인할 수 있습니다.
2020.11.13 -
[git] git branch 확인이 안될 때
git을 이용하여 협업을 할 때는 branch를 이용한다. 이때 원격 저장소에 있는 branch를 로컬 저장소로 가져와야 하지만 다른 팀원이 만든 branch 또는 다른 PC로 만든 branch가 $ git branch 명령어를 사용했을 때 가져와지지 않을 때가 있다. 이때 $ git branch -r 을 이용하여 로컬 저장소의 branch를 확인하거나 $ git branch -a 를 이용하여 로컬 저장소와 원격 저장소 모두에 있는 branch를 확인할 수 있다. 원하는 branch를 가져오고 싶다면 $ git checkout -t [브랜치 이름] 을 이용하여 가져올 수 있다.
2020.11.04 -
history 유지하며 여러 git repo 합치기
레퍼지토리가 불필요하게 나뉘어져있을 때 합치는 과정을 살펴보겠습니다. 먼저 새로운 레퍼지토리를 생성합니다. 해당 레퍼지토리를 clone 한 후 해당 폴더로 이동합니다. git clone git subtree add ==prefix= 을 입력합니다. 그 후 해당 폴더를 commit 한 후 push 하면 다음과 같이 복제된 것을 확인할 수 있습니다. 남아있는 레퍼지토리는 가차없이 삭제합니다.
2020.10.28