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

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

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

Host git.uni-due.de
    HostName git.uni-due.de
    Port 22
    User git
    IdentityFile /mnt/veracrypt1/git

# Homeserver
Host laya01
    HostName 192.168.2.190
    Port 22
    User tudattr
    IdentityFile /mnt/veracrypt1/genesis

Host aya01
    HostName 10.0.0.100
    Port 22
    User tudattr
    IdentityFile /mnt/veracrypt1/genesis
    
Host git.aya01
    HostName 10.0.0.100
    Port 23231
    User tudattr
    IdentityFile /mnt/veracrypt1/genesis

# Work
Host iperf-client 
    HostName 10.1.11.114
    Port 22
    User user
    IdentityFile /mnt/veracrypt1/proxmox

Host iperf-server 
    HostName 10.1.11.112
    Port 22
    User user
    IdentityFile /mnt/veracrypt1/proxmox

Host ncs-server
    HostName 132.252.68.50
    Port 2122
    User tuan-dat.tran
    IdentityFile /mnt/veracrypt1/tudattr
    ForwardX11 yes

Host ncs1
    HostName 192.168.1.11
    Port 22
    User tuan-dat.tran
    IdentityFile /mnt/veracrypt1/tudattr
    ProxyJump ncs-server

Host ncs2
    HostName 192.168.1.13
    Port 22
    User tuan-dat.tran
    IdentityFile /mnt/veracrypt1/genesis
    ProxyJump ncs-server

Host p4switch
    Hostname 192.168.1.5
    Port 22
    User user
    IdentityFile /mnt/veracrypt1/tudattr
    ForwardX11 yes
    ProxyJump ncs-server