キーサーバーとポートを恒久的に設定する方法

キーサーバーとポートを恒久的に設定する方法

当社のファイアウォールはapt-keyのデフォルトポートをブロックします。したがって、PPAを追加するたびにgpgを停止し(停止)、手動でポート80を設定して欠落しているキーを受信する必要があります。失われたキーを取得するスクリプトを作成しましたが、このソリューションはまだ理想的ではありません。

$ cat /usr/local/sbin/get-keys 
apt-key adv --keyserver hkp://keyserver.ubuntu.com:80 --keyserver-options http-proxy=$http_proxy --recv-keys $@

欠落しているキーを手動でインポートする必要なく、デフォルトでポート80を使用するようにapt-keyを設定したいと思います。

関連情報