diff options
| -rwxr-xr-x | scripts/oe-git-proxy | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/scripts/oe-git-proxy b/scripts/oe-git-proxy index 0078e95450..7a43fe6a6e 100755 --- a/scripts/oe-git-proxy +++ b/scripts/oe-git-proxy | |||
| @@ -18,6 +18,27 @@ | |||
| 18 | # AUTHORS | 18 | # AUTHORS |
| 19 | # Darren Hart <dvhart@linux.intel.com> | 19 | # Darren Hart <dvhart@linux.intel.com> |
| 20 | 20 | ||
| 21 | if [ $# -lt 2 -o "$1" = '--help' -o "$1" = '-h' ] ; then | ||
| 22 | echo 'oe-git-proxy: error: the following arguments are required: host port' | ||
| 23 | echo 'Usage: oe-git-proxy host port' | ||
| 24 | echo '' | ||
| 25 | echo 'OpenEmbedded git-proxy - a simple tool to be used via GIT_PROXY_COMMAND.' | ||
| 26 | echo 'It uses socat to make SOCKS or HTTPS proxy connections.' | ||
| 27 | echo 'It uses ALL_PROXY to determine the proxy server, protocol, and port.' | ||
| 28 | echo 'It uses NO_PROXY to skip using the proxy for a comma delimited list' | ||
| 29 | echo 'of hosts, host globs (*.example.com), IPs, or CIDR masks (192.168.1.0/24).' | ||
| 30 | echo 'It is known to work with both bash and dash shells.runs native tools' | ||
| 31 | echo '' | ||
| 32 | echo 'arguments:' | ||
| 33 | echo ' host proxy host to use' | ||
| 34 | echo ' port proxy port to use' | ||
| 35 | echo '' | ||
| 36 | echo 'options:' | ||
| 37 | echo ' -h, --help show this help message and exit' | ||
| 38 | echo '' | ||
| 39 | exit 2 | ||
| 40 | fi | ||
| 41 | |||
| 21 | # Locate the netcat binary | 42 | # Locate the netcat binary |
| 22 | SOCAT=$(which socat 2>/dev/null) | 43 | SOCAT=$(which socat 2>/dev/null) |
| 23 | if [ $? -ne 0 ]; then | 44 | if [ $? -ne 0 ]; then |
