일 | 월 | 화 | 수 | 목 | 금 | 토 |
---|---|---|---|---|---|---|
1 | 2 | 3 | 4 | |||
5 | 6 | 7 | 8 | 9 | 10 | 11 |
12 | 13 | 14 | 15 | 16 | 17 | 18 |
19 | 20 | 21 | 22 | 23 | 24 | 25 |
26 | 27 | 28 | 29 | 30 | 31 |
- 딕셔너리
- 세그먼트 트리
- mysql
- lower_case_table_names
- floor
- Dictionary
- list comprehension
- 네이밍
- itertools
- convention
- SUM
- 큰 수 나누기
- datetime
- timestamp
- SUM()
- 외래키
- 자료구조
- 2557
- 리스트 컴프리헨션
- flask
- BOJ
- 에라토스테네스의 체
- python
- FOREIGN KEY
- 파이썬
- project euler
- 소수
- Codeforces
- ceil
- enumerate
- Today
- Total
목록기타 공부 기록/git (3)
늒네 기록
이전 글에서 보았듯이, config 설정시 --global 옵션을 붙이지 않으면 특정 폴더에만 적용되는 git의 config를 관리하는 것이 가능하다. 그렇다면, 특정 github 프로젝트에서 작업할 때만 특정한 계정을 사용하도록 세팅하는 것이 가능할까? 자세한 원리를 설명하기 전, 세팅 방법을 먼저 설명하도록 하겠다. 아래 설명할 방법은 Windows 환경에서 작동함을 확인했다. 0. 최초로 github에서 프로젝트를 clone하거나 push하는 등 remote와 상호작용을 하려고 한 순간에, github으로 로그인 하는 창이 떴을 것이다. 이 상황에 로그인을 하여 global한 credential이 세팅 완료된 상황을 가정한다. 1. 이 상황에서 다른 github 아이디로 만든 private repo..
앞선 글에서 global하게 사용할 user와 alias를 세팅했는데, 그렇다면 특정 프로젝트에서는 디폴트로 설정한 유저와 다른 유저를 사용하고 싶으면 어떻게 할까? 앞선 글에서 사용했던 명령어를 다시 살펴보자. $ git config --global user.name = '사용하고 싶은 이름' 여기에 --global 옵션이 붙어있는 것을 알 수 있다. 이에 대한 자세한 설명은 공식 문서에서 볼 수 있는데, Git - git-config Documentation When using the deprecated [section.subsection] syntax, changing a value will result in adding a multi-line key instead of a change, if th..
처음 git을 설치하고 나서 다음과 같이 세팅을 진행했다. user의 name, email 세팅 아래와 같은 명령어로 user의 name과 email을 설정한다. $ git config --global user.name '사용하고 싶은 이름' $ git config --global user.email '사용하고 싶은 메일 주소' 이 두 줄을 bash에 입력하면 해당 컴퓨터에서 디폴트로 이 이름과 이메일을 사용하게 되는데, 이 두 값은 나중에 프로젝트에 커밋을 할때 사용된다. alias 세팅 아래와 같은 명령어로 새로운 명령어를 설정한다. $ git config --global alias.co checkout 간단하게 설명하자면, co라는 명령어를 치면 checkout을 친 것으로 보겠다는 것. 위 줄을 ..