github を複数アカウントで使い回す場合

あらすじ

https://github.com/okamuuu/dotfiles のように 個人の開発環境でも会社の開発環境でも pull & push したい。

なので会社のPCからはこのレポジトリだけ個人のアカウントでアクセスしてそれ以外は会社のアカウントでアクセスしたいケース

やり方

以下のように設定しておく

% cat ~/.ssh/config
Host okamuuu.github.com
  User okamuuu
  Port 22
  Hostname github.com
  IdentityFile ~/.ssh/keys/id_dsa
  TCPKeepAlive yes 
  IdentitiesOnly yes 

Host another_account.github.com
  User another
  Port 22
  Hostname github.com
  IdentityFile ~/.ssh/keys/id_dsa
  TCPKeepAlive yes 
  IdentitiesOnly yes

そして以下のように git pull すれば OK

% git clone git@okamuuu.github.com:okamuuu/dotfiles.git ~/.dotfiles

xxx.github.com の xxx の部分はダミーとして動作しているっぽい。 そして結局面倒くさくなって使わないっていう。