質問: プロキシの背後でapt-keyを使用してgpgキーを追加できない ubuntu 17.04に切り替えたため、apt-keyを介してgpgキーを追加すると、体系的に失敗します(ただし、直接関連しているとは思えません)。 spotifyのリポジトリキー の例:$ 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> <title>sks openpgp public key server</title> </head> <body> [...] 私に何ができる ?さらにデバッグする方法もわかりません...結果を出さずに、私がすでにやろうとしたこと: sudoを-e(環境を保持)オプションで実行 apt-key advを--keyserver-options http-proxy=http://localhost:3128/オプション付きで実行( source ) 何らかの理由で$ gpg --list-keysを実行します( source ) 別のキーサーバーを使用(--keyserver pgp.mit.edu) hkp://部分を削除(--keyserver keyserver.ubuntu.com:80) 奇妙なことに、/var/log/syslogを実行しているときにapt-keyに「cntlm」エントリが表示されることはありません。
回答: 次の方法で、キーサーバーをパラメーターとしてadd-apt-repositoryに指定できます。sudo add-apt-repository --keyserver hkps://keyserver.ubuntu.com:443 some_ppa 発信ポート443は、企業ファイアウォールによってブロックされません。