이미 push된 파일 git ignore 지정하기

ignore 하고 싶은 파일(폴더)이 이미 git에 올라가 있는 상태라면, 해당 파일(폴더)을 삭제 후 commit 하고 ignore 지정해야 한다.

• 코드

git rm -r 파일(폴더)이름 git commit -m "커밋 내용"

• 예시

git rm -r simulation git rm -r log.txt git commit -m "simulation folder, log.txt 삭제"

 

simulation 및 log 파일은 FPGA 코드 컴파일 시 자동 생성되므로 ignore 해줄 필요가 있다.

.git 파일이 생성되어 있는 최상위 폴더 내에서 다음을 실행한다.

 

txt 파일 생성 -> .ignore로 이름 바꾸기 (txt 확장자까지 삭제 후 변경) 문법에 따라 ignore할 파일 또는 폴더 지정하기

 

 

 

• 참고 자료

https://kotlinworld.com/269

[Git] .gitignore 사용해 git에 추가되지 말아야 할 파일 정의하기

 

(추후 블로그에 코드 넣는 양식 넣어서 깔끔하게 만들어 보자)