docs: more explicit key server (#861)

Use full URL with port for key server. Also use port 80 to work around firewalls and proxies.

Fixes: #859
This commit is contained in:
David Lechner 2016-11-13 05:14:11 -06:00 committed by Juan Cruz Viotti
parent 2c07bce25f
commit f80feb9edf

View File

@ -38,7 +38,7 @@ installers for all supported operating systems.
2. Trust Bintray.com's GPG key:
```sh
sudo apt-key adv --keyserver pgp.mit.edu --recv-keys 379CE192D401AB61
sudo apt-key adv --keyserver hkp://pgp.mit.edu:80 --recv-keys 379CE192D401AB61
```
3. Update and install: