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

Host helios
    HostName 132.252.238.17
    Port 22
    User infra
    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"
