apt-key自从我切换到 Ubuntu 17.04 以来，通过系统地添加 gpg 密钥失败了（不过我怀疑它是否直接相关）。Spotify 的 repo 密钥示例：
$ sudo apt-key adv --keyserver hkp://keyserver.ubuntu.com:80 --recv-keys BBEBDCB318AD50EC6865090613B00F1FD2C19886
Executing: /tmp/apt-key-gpghome.wRE6z9GBF8/gpg.1.sh --keyserver hkp://keyserver.ubuntu.com:80 --recv-keys BBEBDCB318AD50EC6865090613B00F1FD2C19886
gpg: keyserver receive failed: No keyserver available
如果我删除hkp://前缀，同样的事情。
上下文：我使用CNTLM来处理本地公司代理。设置环境变量（在 中/etc/environment）：
$ env | grep 3128
https_proxy=http://localhost:3128
http_proxy=http://localhost:3128
ftp_proxy=http://localhost:3128
/etc/apt/apt.conf已配置（apt命令工作正常）：
$ cat /etc/apt/apt.conf
Acquire::http::Proxy "http://localhost:3128";
Acquire::https::Proxy "http://localhost:3128";
Acquire::ftp::Proxy "http://localhost:3128";
最后，指定的密钥服务器似乎可以访问：
$ curl keyserver.ubuntu.com:80
<?xml version="1.0"?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<head> …我正在使用Centos 6.6 Docker 映像。我以为我安装了所有东西来访问手册页，但显然不是......
$ yum install -y man man-pages man-pages-overrides
[...]
Complete!
$ which man
/usr/bin/man
$ man man
No manual entry for man
我错过了什么？
关于评论中的问题（感谢大家的帮助）：
$ echo $MANPATH
# empty
$ man 1 man
No entry for man in section 1 of the manual
$ man 7 man
No entry for man in section 7 of the manual
$ ll /usr/share/man/man1/
total 8
drwxr-xr-x 2 root root 4096 Sep 23 2011 ./
drwxr-xr-x 61 root root …