Host kernighan
  HostName 5.189.146.140
  IdentityFile /home/tsv/.ssh/kernighan
  User tsv
  IdentitiesOnly yes

Host git.tsvallender.co.uk
  HostName git.tsvallender.co.uk
  IdentityFile /home/tsv/.ssh/personal
  Port 222
  User tsv
  IdentitiesOnly yes

Host github.com
  HostName github.com
  IdentityFile /home/tsv/.ssh/foxsoft
  IdentitiesOnly yes

Host git.foxsoft.co.uk
  HostName git.foxsoft.co.uk
  Port 2222
  IdentityFile /home/tsv/.ssh/foxsoft
  IdentitiesOnly yes

Host obs
  HostName obs.foxsoft.net
  IdentityFile /home/tsv/.ssh/foxsoft
  IdentitiesOnly yes

Host plan.foxsoft.net
  User mrsk
  HostName plan.foxsoft.net
  IdentityFile /home/tsv/.ssh/mrsk_foxsoft
  IdentitiesOnly yes