Pasted

host arcadia.controller
    user alex
    hostname arcadia.tnt-lab.unige.it
    identityfile "~/.ssh/id_rsa-arcadia"
    port 10011
 
host arcadia.network
    user alex
    hostname network.arcadia.tnt-lab.unige.it
    identityfile "~/.ssh/id_rsa-arcadia"
    ProxyCommand ssh arcadia.controller nc %h %p
 
host arcadia.dispatcher
    user ubuntu
    hostname 192.168.10.5
    ProxyCommand ssh arcadia.network sudo ip netns exec qrouter-ab695333-a291-403e-95a3-8d1f56e508cf nc %h %p
    identityfile "~/.ssh/arcadia.pem"
 
host arcadia.worker*
    user ubuntu
    ProxyCommand ssh arcadia.dispatcher nc %h %p
    identityfile "~/.ssh/arcadia.pem"
 
host arcadia.worker1
    hostname 192.168.10.11
 
host arcadia.worker2
    hostname 192.168.10.16
 
host arcadia.worker3
    hostname 192.168.10.4
 
host arcadia.worker4
    hostname 192.168.10.13
 
host arcadia.worker5
    hostname 192.168.10.17
 
host arcadia.worker6
    hostname 192.168.10.19
 
host arcadia.worker7
    hostname 192.168.10.21
 
host arcadia.worker8
    hostname 192.168.10.23
 
host arcadia.worker9
    hostname 192.168.10.6
 
host arcadia.worker10
    hostname 192.168.10.10