Na verdade, existem servidores de chaves que escutam na porta 80. Um desses servidores de chaves é o hkp: //keyserver.ubuntu.com: 80.
De fato, pacman-key usa gpg sob o capô.
Você pode ter tentado especificar um servidor de chaves passando o argumento --keyserver para pacman-key . Isso não funcionou para mim.
Você pode ter tentado especificar um servidor de chaves criando ou alterando ~/.gnupg/gpg.conf . Isso não funcionou para mim.
Acontece que pacman-key é um script de shell bash. Quando chama gpg , especifica um diretório de configuração. No meu sistema, isso é /etc/pacman.d/gnupg .
Remova ou comente as linhas keyserver e keyserver-options existentes em /etc/pacman.d/gnupg/gpg.conf . Adicione estas linhas:
keyserver hkp://keyserver.ubuntu.com:80
keyserver-options verbose timeout=10
Notas:
- Você não precisa usar esse servidor de chaves específico, há mais de um que contém chaves relevantes para o Arch Linux e escuta na porta 80 ou em alguma outra porta que seu firewall não bloqueie.
- A edição direta de arquivos de configuração de todo o sistema é aceitável no Arch Linux - eles têm uma filosofia diferente sobre esse tipo de coisa.
Agora você deve poder usar o comando pacman-key conforme o esperado.