def proxy(): """ Use SOCKS proxy for ssh from dev servers """ env.ssh_config_path = "../client/ssh/proxy-config" env.use_ssh_config = True