Archives by date

You are browsing the site archives by date.

github에 계정이 여러개 있을 때.. push

github에 계정이 2개 있습니다. 하나는 회사것 하나는 개인것… 물론 public_key도 다르겠지요.. 별 생각없이 사용하면, 개인 레포지트리도 회사의 계정으로 접근을 합니다. 최근까지도 신경안쓰고 있었다가, 개인 레포에 push할 것이 있어서 했는데, 에러가 나더군요. 어떻게 할까.. 고민하다가.. ssh_config를 조금 손보는 것으로 처리했습니다. 위처럼 ~/.ssh/config를 적당히 손봅니다. 이제 ssh github.com하면 첫번째 설정으로 접근하고, ssh whitekid.github.com 하면 두번째 설정으로 접근하게 […]