gpg：鍵サーバーの受信に失敗しました：dirmngrなし

Debian Stretchサーバーでキーを受信しようとすると、次のエラーが表示されます。

sudo apt-key adv --keyserver hkp://keyserver.ubuntu.com:80 --recv-keys 3FA7E0328081BFF6A14DA29AA6A19B38D3D831EF
Executing: /tmp/apt-key-gpghome.4B7hWtn7Rm/gpg.1.sh --keyserver hkp://keyserver.ubuntu.com:80 --recv-keys 3FA7E0328081BFF6A14DA29AA6A19B38D3D831EF
gpg: failed to start the dirmngr '/usr/bin/dirmngr': No such file or directory
gpg: connecting dirmngr at '/tmp/apt-key-gpghome.4B7hWtn7Rm/S.dirmngr' failed: No such file or directory
gpg: keyserver receive failed: No dirmngr

パッケージをインストールするとdirmngr、エラーが修正されました。

user@debian-server:~$ sudo apt-get install dirmngr

再試行中：

user@debian-server:~$ sudo apt-key adv --keyserver hkp://keyserver.ubuntu.com:80 --recv-keys 3FA7E0328081BFF6A14DA29AA6A19B38D3D831EF
Executing: /tmp/apt-key-gpghome.haKuPppywi/gpg.1.sh --keyserver hkp://keyserver.ubuntu.com:80 --recv-keys 3FA7E0328081BFF6A14DA29AA6A19B38D3D831EF
gpg: key A6A19B38D3D831EF: public key "Xamarin Public Jenkins (auto-signing) <releng@xamarin.com>" imported
gpg: Total number processed: 1
gpg:               imported: 1

dirmngrを機能させることはできませんでしたが、apt-key addを使用して直接キーをインポートすることもできます。GPG公開キーは、http： //origin-download.mono-project.com/repo/のようにリポジトリのルートにリストされることがよくあります

curl https://origin-download.mono-project.com/repo/xamarin.gpg | sudo apt-key add -