.ssh/config


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

Match host * exec "gpg-connect-agent UPDATESTARTUPTTY /bye"

Host *iso.local
  Port 22
  StrictHostKeyChecking no
  UserKnownHostsFile /dev/null

Host *.local
  User a14m
  Port 39901
  ForwardAgent yes
  StreamLocalBindUnlink yes

Host *
  ServerAliveInterval 300