#######
## VPS OVH
#######

Host vps 0xf.fr
  User hcartiaux
  Port 443
  Hostname vps79723.ovh.net

########
## Raspberry Pi
########

Host rpi rpi.0xf.fr
  User hcartiaux
  Port 443
  Hostname rpi.0xf.fr

########
## AMD64 Box / Deepspace
########

Host deepspace deepspace.0xf.fr
  User hcartiaux
  Port 993
  Hostname deepspace.0xf.fr