path: root/ssh/.ssh/config

Port 22

Host tilde
Hostname tilde.team
User ben

Host town
Hostname tilde.town
User benharri
LocalForward localhost:12345 localhost:12345

Host ctrl
Hostname ctrl-c.club
User benharri

Host sdf
Hostname arpa.sdf.org
User benharri

Host euclid
Hostname euclid.nmu.edu
User benharri

Host thor
Hostname thor.tilde.team
User ben


Host gh
Hostname github.com
User git

Host gl
Hostname gitlab.com
User git

Host tgit
Hostname tilde.team
User git


Host da1.hashbang.sh ny1.hashbang.sh sf1.hashbang.sh to1.hashbang.sh
User benharri

Host git-infra.hashbang.sh
User git

Host sfo1.irc.hashbang.sh ldap.hashbang.sh
User core

Host *.hashbang.sh hashbang.sh
User core
Port 8993