From 5ea25e6736430ab5b8439d11b2e9a837a803771b Mon Sep 17 00:00:00 2001 From: Septs Date: Mon, 25 May 2020 00:48:43 +0800 Subject: Add `shell-proxy` plugin (#8692) --- plugins/shell-proxy/ssh-agent.py | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) create mode 100755 plugins/shell-proxy/ssh-agent.py (limited to 'plugins/shell-proxy/ssh-agent.py') diff --git a/plugins/shell-proxy/ssh-agent.py b/plugins/shell-proxy/ssh-agent.py new file mode 100755 index 000000000..61cf84c0b --- /dev/null +++ b/plugins/shell-proxy/ssh-agent.py @@ -0,0 +1,16 @@ +#!/usr/bin/env python3 +import os +import subprocess +import sys + +ssh_proxy = os.path.join(os.path.dirname(__file__), "ssh-proxy.py") + +argv = [ + os.environ.get("NAME", "ssh"), + "-o", + "ProxyCommand={} %h %p".format(ssh_proxy), + "-o", + "Compression=yes", +] + +subprocess.call(argv + sys.argv[1:], env=os.environ) -- cgit v1.2.3-70-g09d2