my dotfiles for arch
1Host vps
2 HostName 37.221.194.92
3 User root
4 IdentityFile ~/.ssh/vps
5
6Host github.com
7 HostName github.com
8 User git
9 IdentityFile ~/.ssh/github
10 AddKeysToAgent yes
11
12Host hf.co
13 HostName hf.co
14 User git
15 IdentityFile ~/.ssh/github
16 AddKeysToAgent yes
17
18Host tangled.sh
19 HostName tangled.sh
20 User git
21 IdentityFile ~/.ssh/tangled
22 AddKeysToAgent yes
23
24Host tangled.org
25 HostName tangled.org
26 User git
27 IdentityFile ~/.ssh/tangled
28 AddKeysToAgent yes
29
30Host gitea.thomas.rocks
31 HostName gitea.thomas.rocks
32 User git
33 Port 22222
34 IdentityFile ~/.ssh/gitea
35 AddKeysToAgent yes
36
37Host gitea.unrail.xyz
38 HostName gitea.unrail.xyz
39 User git
40 Port 2222
41 IdentityFile ~/.ssh/gitea-unrail
42 AddKeysToAgent yes