# be careful not to put this under `HOST xxx`, else only when ssh to that host will add keys to agent
# another approach is to put it under `HOST *`
# https://unix.stackexchange.com/a/577490/459013
AddKeysToAgent yes

# tabs and empty only for readability, without also works, not sure about newline
Host studio
	Hostname flylightning.xyz
	Port ssh-isp
	User xyz

Host aur aur.archlinux.org
	Hostname aur.archlinux.org
	User aur

Host insp
	Hostname xyzinsp
	User xyz

Host pp
	Hostname xyzpp
	User xyz

Host ia
	Hostname ia.flylightning.xyz
	User xyz