flexible proxy traversal

gitproxy

#!/bin/bash

target_ip=`gethostip -d $1`

function is_local() {
    echo $1 | grep '\(10\.\|127\.\|172\.\)'
}

flag=`is_local "$target_ip"`
if [ -n "$flag" ]; then
    exec socat STDIO TCP4:$1:$2
else
    exec socat STDIO PROXY:proxy.eng.vmware.com:$1:$2,proxyport=3128
fi