$sudo apt-key adv --keyserver htk://keyserver.ubuntu.com:80 --keyserver-option http-proxy=[ホスト]:[ポート番号] --recv-keys 51716619E084DAB9 gpg: keyserver receive failed: No keyserver available のようなエラーが発生してリポジトリに追加できませんでした。 社内プロキシに阻まれているようで、http-proxyを指定すればいいんだよとGoogle先生にご教示いただきました(上記コマンド)が、ちっともエラーが解消されませんでした。 なんとかプロキシ越えをできないかと必死に考えていろいろ試しましたが、全然うまくいかず途方に暮れようとしたその時、ふと、apt-key advを使わなければいいじゃないという天の声が聞こえてき