diff options
| author | Mazdak Farrokhzad <twingoow@gmail.com> | 2019-01-24 00:20:02 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-01-24 00:20:02 +0100 |
| commit | 86244854b5ba02625e2eb03534cb0ec2a6c2f995 (patch) | |
| tree | 6e65a0c868ccd9fa0e2ca70ef85fa2b0834857b6 /src/ci | |
| parent | ab998a2eeb2bcdc69ce70c814af97f0d1302a404 (diff) | |
| parent | 4e649ccc3a6ee5bd910ae41fd0bc6df4be234b4c (diff) | |
| download | rust-86244854b5ba02625e2eb03534cb0ec2a6c2f995.tar.gz rust-86244854b5ba02625e2eb03534cb0ec2a6c2f995.zip | |
Rollup merge of #57844 - euclio:keyserver-port, r=alexcrichton
use port 80 for retrieving GPG key This works around firewalls blocking port 11371. See https://unix.stackexchange.com/questions/75892/keyserver-timed-out-when-trying-to-add-a-gpg-public-key.
Diffstat (limited to 'src/ci')
| -rwxr-xr-x | src/ci/docker/dist-various-1/install-x86_64-redox.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/ci/docker/dist-various-1/install-x86_64-redox.sh b/src/ci/docker/dist-various-1/install-x86_64-redox.sh index 29222ff60f2..c39be14941c 100755 --- a/src/ci/docker/dist-various-1/install-x86_64-redox.sh +++ b/src/ci/docker/dist-various-1/install-x86_64-redox.sh @@ -6,7 +6,7 @@ set -ex apt-get update apt-get install -y --no-install-recommends software-properties-common apt-transport-https -apt-key adv --batch --yes --keyserver keyserver.ubuntu.com --recv-keys AA12E97F0881517F +apt-key adv --batch --yes --keyserver hkp://keyserver.ubuntu.com:80 --recv-keys AA12E97F0881517F add-apt-repository -y 'deb https://static.redox-os.org/toolchain/apt /' apt-get update |