Внезапно: NO_PUBKEY и как его лечить

Иногда бывает такое, что доставляя какой-то софт, я подключаю репозитории, а они подключаются не до конца корректно. Например, интернет пропал когда должны были быть установлены ключи.

У меня на ноутбуке пару NO_PUBKEY выскакивают на всех apt-get update.

Интернет подсказал пару команд, суть которых я пока не понял, но они работают:

gpg —keyserver keyserver.ubuntu.com —recv 247D1CFF
gpg —export —armor 247D1CFF | sudo apt-key add —

Разумеется, вместо кода из шеснадцатеричных символов надо поставить то, что идёт после NO_PUBKEY в сообщении об ошибке. И это работает!