$default_target = 'ryuglab';

$targets{"ryuglab"} = '--target ryu --ssh=ryu@pc-sojkam.felk.cvut.cz';