git2 git ignore 지정한 폴더 내에서 특정 확장자만 제외시키고 싶을 때 git ignore 한 폴더를 지정하였다. simulation/ 그런데, 이 폴더 내에 .do 확장자만 제외시키고 싶었는데, 상위 폴더가 ignore 처리 되어 있으면 !simulation/*.do 해도 먹히지 않는다고 한다. 따라서 폴더를 ignore할 때 simulation/ 이 아닌 simulation/* 로 ignore하면 예외처리가 먹힌다고 한다. 아래와 같이 하면 된다. # ignore simulation folder simulation/* !simulation/*.do 커밋 후 푸쉬하여 확인해보니 simulation 폴더 내에 다른 파일은 모두 ignore 처리 되었고 do file은 추적되고 있다. 참고자료 https://nochoco-lee.tistory.com/48 5.3: .gitig.. 2022. 11. 1. 이미 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할 파일 또는 폴더 지정하기 참고 자.. 2022. 10. 31. 이전 1 다음