diff options
| author | Timo Weingärtner <timo@tiwe.de> | 2012-02-25 21:17:04 +0100 |
|---|---|---|
| committer | Timo Weingärtner <timo@tiwe.de> | 2012-02-25 21:17:04 +0100 |
| commit | e5b99e36d96614d059137f3df323bcc39ead369e (patch) | |
| tree | 67a3b5b716614514ee303fb7f9ec1173d04eafcf /plugins | |
| parent | 550c2f513a05899566ca90a1e859218ee44a8ac7 (diff) | |
| download | openssh-known-hosts-e5b99e36d96614d059137f3df323bcc39ead369e.tar.gz | |
Imported Debian version 0.4debian/0.4
Diffstat (limited to 'plugins')
| -rwxr-xr-x | plugins/curl | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/plugins/curl b/plugins/curl index 5964613..6f803b3 100755 --- a/plugins/curl +++ b/plugins/curl @@ -4,6 +4,7 @@ # # ENVIRONMENT VARIABLES: # URL URL to download known_hosts file from +# CURL_OPTIONS options passed to curl # SIGURL URL of the GnuPG signature # KEYRING path to the keyring for use by gpgv # @@ -11,12 +12,12 @@ set -e if [ "${SIGURL}" ]; then - curl -Rz "./current" -m 300 -o new.sig "${SIGURL}" -o new "${URL}" + curl -Rz "./current" -m 300 ${CURL_OPTIONS} -o new.sig "${SIGURL}" -o new "${URL}" [ -e new ] || exit 0 gpgv --keyring "${KEYRING}" --status-fd 2 new.sig || exit 1 # return 1 because it's not clear what other codes may used else - curl -Rz "./current" -m 300 -o new "${URL}" + curl -Rz "./current" -m 300 ${CURL_OPTIONS} -o new "${URL}" fi # vim:set ft=sh: |