4 HOST_SENDER=vnode09.pl.sophia.inria.fr
6 HOST_MUX=vnode02.pl.sophia.inria.fr
8 HOST_END1=vnode10.pl.sophia.inria.fr
10 HOST_END2=vnode07.pl.sophia.inria.fr
12 IP_SENDER=10.0.100.1/24
17 # the ssh key to use; optional
20 # how to display nodes in messages
21 display="$(call solve,$(1))"