Используйте следующий код в терминале, чтобы добавить ключ gpg за прокси,
sudo apt-key adv --keyserver-options http-proxy=http://USER:PASSWORD@PROXY_URL:PORT/ --keyserver keyserver.ubuntu.com --recv-keys GPG_KEY
И соответственно замените заглавные буквы. Если вы используете прокси без аутентификации пользователя (т. Е. Имя пользователя и пароль), используйте http-proxy=http://PROXY_URL:PORT/.
Например, чтобы использовать GPG_KEY=C2514567EEA14886,
sudo apt-key adv --keyserver-options http-proxy=http://user:abc123@10.10.2.21:3128/ --keyserver keyserver.ubuntu.com --recv-keys C2514567EEA14886
где
USER_ID=user
PASSWORD=abc123
PROXY_URL=10.10.2.21
PORT=3128
Если вы не используете аутентификацию пользователя, просто используйте
sudo apt-key adv --keyserver-options http-proxy=http://10.10.2.21:3128/ --keyserver keyserver.ubuntu.com --recv-keys C2514567EEA14886