gpg keys not available #2
Description
Hello, I know is a old version of VIVADO but is right for that I was looking for this version. University I'm studing (UnB Universidade de Brasília - Brazil) it has just this version available on their old desktops, after many problems I started to research in docker and found out here thanks for that. Now I can use my onw laptop with the same version of professor used in lab.
Morethere when I was building the dockerImage I've error because of the gpg keyring. The solution Gemini gave me was just remove that as I could trust in this third software and running sucessfully. I'm just informing if is the interest to solve this. Thanks a lot.
`[3/9] RUN curl -SL "https://github.com/tianon/gosu/releases/download/1.10/gosu-$(dpkg --print-architecture)" -o /usr/local/bin/gosu && curl -SL "https://github.com/tianon/gosu/releases/download/1.10/gosu-$(dpkg --print-architecture).asc" -o /usr/local/bin/gosu.asc && gpg --keyserver ha.pool.sks-keyservers.net --recv-keys B42F6819007F00F88E364FD4036A9C25BF357DD4 && gpg --verify /usr/local/bin/gosu.asc && rm -rf /usr/local/bin/gosu.asc /root/.gnupg && chmod +x /usr/local/bin/gosu:
24.33 gpg: directory '/root/.gnupg' created
24.33 gpg: new configuration file '/root/.gnupg/gpg.conf' created
24.33 gpg: WARNING: options in '/root/.gnupg/gpg.conf' are not yet active during this run
24.33 gpg: keyring '/root/.gnupg/secring.gpg' created
24.33 gpg: keyring '/root/.gnupg/pubring.gpg' created
24.33 gpg: requesting key BF357DD4 from hkp server ha.pool.sks-keyservers.net
102.6 ?: ha.pool.sks-keyservers.net: Host not found
102.6 gpgkeys: HTTP fetch error 7: couldn't connect: Connection timed out
102.6 gpg: no valid OpenPGP data found.
102.6 gpg: Total number processed: 0
102.6 gpg: keyserver communications error: keyserver unreachable
102.6 gpg: keyserver communications error: public key not found
102.6 gpg: keyserver receive failed: public key not found`