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