-
Notifications
You must be signed in to change notification settings - Fork 9
git 폴더명 변경 미적용 이슈
LeeSuKyeong edited this page Dec 15, 2020
·
6 revisions
git은 파일명의 대소문자를 구분하지 못한다. 따라서 특별한 처리가 필요합니다.
-
mv
명령어 사용
git mv --force 옛날폴더명 바꿀폴더명
git commit
git push
참고 : 참고 블로그
- git config 설정 끄기 바꿀 폴더명이 여러개라 한번에 적용할 방법이 없을까하고 찾아보았다. git config를 변경하면 적용이 가능하다.
git config core.ignorecase false
문제점
이후 push할 경우 기존 폴더도 생성되어있었다.
따라서 이미 push되어있는 원격 저장소의 untracked인 파일들을 지워줘야한다.
git rm -r --cached .
--cached 옵션은 remote repo의 파일을 지운다 참고
하지만, 2번 방식은 최후의 방법이니 1번방식을 통해 폴더명 바꾸는 것을 권장합니다.
- MathML Getting Started
- LaTex와 MathML
- webpack과 babel설정
- webpack bundle파일 줄이기
- react-mathquill 정리
- redux setting 및 공부
- Localstorage 사용법
- Drag and drop 사용법
😄데일리 스크럼
- 11월 17일 화요일 스크럼
- 11월 18일 수요일 스크럼
- 11월 19일 목요일 스크럼
- 11얼 20일 금요일 스크럼
- 11얼 23일 월요일 스크럼
- 11월 24일 화요일 스크럼
- 11월 25일 수요일 스크럼
- 11월 26일 목요일 스크럼
- 11월 27일 금요일 스크럼
- 11월 30일 월요일 스크럼
- 12월 1일 화요일 스크럼
- 12월 2일 수요일 스크럼
- 12월 3일 목요일 스크럼
- 12월 4일 금요일 스크럼
- 12월 7일 월요일 스크럼
- 12월 8일 화요일 스크럼
- 12월 9일 수요일 스크럼
- 12월 10일 목요일 스크럼
- 12월 14일 월요일 스크럼
- 12월 15일 화요일 스크럼
- 12월 16일 수요일 스크럼
- 12월 17일 목요일 스크럼
- 12월 18일 금요일 스크럼