ssh/config

   1 Include private-config
   2
   3 Host rmz.io
   4 ForwardAgent yes
   5
   6 Host deepthought
   7 ForwardAgent yes
   8
   9 Host uh-nuc01
  10 HostName localhost
  11 Port 22222
  12 ForwardAgent yes
  13 ProxyJump rmz.io
  14
  15 Host tardis tardis.uni.cx tardis.rmz.io
  16 HostName tardis.rmz.io
  17 ForwardAgent yes
  18 StreamLocalBindUnlink yes
  19
  20 Host kelmis
  21 HostName kelmis.uni.cx
  22 Port 5555
  23 DynamicForward 1080
  24 IdentityFile ~/.ssh/old/id_rsa
  25
  26 Host chronos
  27 IdentityFile ~/.ssh/old/id_rsa
  28
  29 Host buildserver
  30 Port 5555
  31 HostName dezponia.se
  32 # RemoteForward /home/ramsi/.config/gnupg/S.gpg-agent /home/ramsi/.config/gnupg/S.gpg-agent
  33 # ExitOnForwardFailure yes
  34
  35 Host bulbasaur bulbasaur.chakralinux.org
  36 HostName bulbasaur.chakralinux.org
  37
  38 Host rsync.chakralinux.org
  39 HostName rsync.chakralinux.org
  40 IdentityFile ~/.ssh/old/id_rsa
  41
  42 Host chakra-sf
  43 HostName frs.sourceforge.net
  44 IdentityFile ~/.ssh/old/id_rsa_github
  45
  46 Host *
  47 ControlMaster auto
  48 ControlPersist 1h
  49 ServerAliveInterval 30
  50 ServerAliveCountMax 4
  51 AddKeysToAgent yes