diff options
| author | Felix Altenberg <felix@altenberg.dev> | 2023-04-28 23:38:25 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-04-28 23:38:25 +0300 |
| commit | f52ff611c55a4e0708edd9c93076603b2704e581 (patch) | |
| tree | f4677b98cf0164468c48e23f0a55aa30f6a21024 /src/python/install.sh | |
| parent | fad03b19d48466bb0eec41ccbf4cc456a5c4dea7 (diff) | |
Adds httpProxy option to Python Feature (#532)feature_python_1.1.0
* Adds httpProxy option to Python Feature
This option allows GPG to use a HTTP proxy to fetch keys from remote keyservers
* Updating minor version
Co-authored-by: Samruddhi Khandale <samruddhikhandale@github.com>
* Fixes minor formatting error
---------
Co-authored-by: Samruddhi Khandale <samruddhikhandale@github.com>
Diffstat (limited to 'src/python/install.sh')
| -rwxr-xr-x | src/python/install.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/python/install.sh b/src/python/install.sh index 053a72a..0e2b125 100755 --- a/src/python/install.sh +++ b/src/python/install.sh @@ -32,6 +32,8 @@ GPG_KEY_SERVERS="keyserver hkp://keyserver.ubuntu.com keyserver hkps://keys.openpgp.org keyserver hkp://keyserver.pgp.com" +KEYSERVER_PROXY="${HTTPPROXY:-"${HTTP_PROXY:-""}"}" + set -e # Clean up @@ -84,6 +86,9 @@ receive_gpg_keys() { mkdir -p "$(dirname \"$2\")" keyring_args="--no-default-keyring --keyring $2" fi + if [ ! -z "${KEYSERVER_PROXY}" ]; then + keyring_args="${keyring_args} --keyserver-options http-proxy=${KEYSERVER_PROXY}" + fi # Use a temporary location for gpg keys to avoid polluting image export GNUPGHOME="/tmp/tmp-gnupg" |