diff options
| -rwxr-xr-x | plugins/shell-proxy/proxy.py | 2 | ||||
| -rwxr-xr-x | plugins/shell-proxy/ssh-agent.py | 2 | 
2 files changed, 2 insertions, 2 deletions
| diff --git a/plugins/shell-proxy/proxy.py b/plugins/shell-proxy/proxy.py index 2b62f6cb5..d2e5361cb 100755 --- a/plugins/shell-proxy/proxy.py +++ b/plugins/shell-proxy/proxy.py @@ -30,7 +30,7 @@ def merge(mapping: dict):  class CommandSet:      proxies = make_proxies(get_http_proxy())      aliases = { -        _: "env NAME=%s %s" % (_, ssh_agent) +        _: "env __SSH_PROGRAM_NAME__=%s %s" % (_, ssh_agent)          for _ in ("ssh", "sftp", "scp", "slogin", "ssh-copy-id")      } diff --git a/plugins/shell-proxy/ssh-agent.py b/plugins/shell-proxy/ssh-agent.py index 61cf84c0b..4ee24b755 100755 --- a/plugins/shell-proxy/ssh-agent.py +++ b/plugins/shell-proxy/ssh-agent.py @@ -6,7 +6,7 @@ import sys  ssh_proxy = os.path.join(os.path.dirname(__file__), "ssh-proxy.py")  argv = [ -    os.environ.get("NAME", "ssh"), +    os.environ.get("__SSH_PROGRAM_NAME__", "ssh"),      "-o",      "ProxyCommand={} %h %p".format(ssh_proxy),      "-o", | 
