Проблема с NO_PUBKEY: как получить GPG-ключ и добавить его в базу apt

Как добавить отсутствующий ключ в Ubuntu/Debian

Иногда, после добавления репозитория, при update появляется ошибка:

NO_PUBKEY AED4B06F473041FA

Добавить можно так:

$ gpg --keyserver pgpkeys.mit.edu --recv-key AED4B06F473041FA
$ gpg -a --export AED4B06F473041FA | sudo apt-key add -

KEY="F120156012B83718"
gpg --keyserver subkeys.pgp.net --recv $KEY
#keys.gnupg.net, 
gpg --export --armor $KEY | sudo apt-key add -