Skip to content

GitLab

Switch branch/tag
Find file Normal viewHistoryPermalink
ssh-agent.py 338 Bytes
Newer Older
Septs's avatar
Add `shell-proxy` plugin (#8692)    
Septs committed
1
2
3
4
5
6
7
8 
#!/usr/bin/env python3
import os
import subprocess
import sys

ssh_proxy = os.path.join(os.path.dirname(__file__), "ssh-proxy.py")

argv = [
Septs's avatar
fix(shell-proxy): change NAME env variable for WSL clash (#9447)    
Septs committed
9 
    os.environ.get("__SSH_PROGRAM_NAME__", "ssh"),
Septs's avatar
Add `shell-proxy` plugin (#8692)    
Septs committed
10
11
12
13
14
15
16 
    "-o",
    "ProxyCommand={} %h %p".format(ssh_proxy),
    "-o",
    "Compression=yes",
]

subprocess.call(argv + sys.argv[1:], env=os.environ)