2016-11-20 14:34:48 +01:00
|
|
|
#!/usr/bin/env bash
|
2017-02-12 11:41:03 +01:00
|
|
|
|
|
|
|
|
# Dynamically determines if the ssh connection
|
|
|
|
|
# is to be proxied through `proxytunnel`
|
|
|
|
|
# To be used with ssh_config ProxyCommand
|
|
|
|
|
|
2016-11-20 14:34:48 +01:00
|
|
|
host="$1"
|
|
|
|
|
port="$2"
|
2016-03-16 17:55:51 +01:00
|
|
|
|
2016-11-20 14:34:48 +01:00
|
|
|
if [ -z "$http_proxy" ]; then
|
2018-11-24 13:45:14 +01:00
|
|
|
socat "TCP:$host:$port" -
|
2016-11-20 14:34:48 +01:00
|
|
|
else
|
2016-11-20 18:34:53 +01:00
|
|
|
proxy=$(echo "$http_proxy" | sed 's/^https\?:\/\///' | sed 's/\/$//')
|
2016-11-20 14:34:48 +01:00
|
|
|
port=443 # Most won't want this
|
|
|
|
|
echo "$proxy" | grep '@'
|
|
|
|
|
if [ $? == 0 ]; then
|
|
|
|
|
user=$(echo $proxy | cut -d '@' -f 2)
|
|
|
|
|
proxy=$(echo $proxy | cut -d '@' -f 1)
|
|
|
|
|
proxytunnel -p $proxy -P $user -d $host:$port
|
|
|
|
|
else
|
|
|
|
|
proxytunnel -p $proxy -d $host:$port
|
|
|
|
|
fi
|
|
|
|
|
fi
|
2016-02-19 13:46:26 +01:00
|
|
|
|
