Host mx
    HostName 132.252.238.12
    Port 22
    User infra
    IdentityFile /mnt/veracrypt1/fse

Host gitlab
    HostName 132.252.238.13
    Port 22
    User infra
    IdentityFile /mnt/veracrypt1/fse

Host helios
    HostName 132.252.238.17
    Port 22
    User infra
    IdentityFile /mnt/veracrypt1/fse

Host root
    HostName 132.252.238.06
    Port 2222
    User root
    IdentityFile /mnt/veracrypt1/fse

Host www
    HostName 132.252.238.16
    Port 22
    User infra
    IdentityFile /mnt/veracrypt1/fse

Host infinity
    HostName mos4.de
    Port 22
    User infinity
    IdentityFile /mnt/veracrypt1/mos4.de

Host github.com
    Hostname github.com
    Port 22
    User git
    IdentityFile /mnt/veracrypt1/git

Host toya
    Hostname 192.168.178.25
    Port 22
    User toya
    IdentityFile /mnt/veracrypt1/raspberry

Host gitlab.com
    Hostname gitlab.com
    Port 22
    User git
    IdentityFile /mnt/veracrypt1/git

Host goldi
    HostName mos4.de
    Port 22
    User goldi
    IdentityFile /mnt/veracrypt1/goldi

Host picoCTF
    HostName 2018shell4.picoctf.com
    Port 22
    User mos4
    IdentityFile "/home/tuan/Documents/CTF/picoCTF/2018/30 - ssh-keyz/picoCTF"

Host CentOS
    HostName 3.125.43.27
    Port 22
    User centos
    IdentityFile /mnt/veracrypt1/mos4.de
