Как исправить ошибку: gpg: не удалось получить сервер ключей: сервер ключей недоступен?

Я всегда получаю сообщение об ошибке ниже gpg. Я также попытался добавить PPA из webupd8, но результат тот же. Как я могу устранить эту ошибку?

user@work:~$ sudo apt-key adv --keyserver hkp://keyserver.ubuntu.com:80 --recv-keys 0DF731E45CE24F27EEEB1450EFDC8610341D9410
Executing: /tmp/apt-key-gpghome.VlEePwgr6J/gpg.1.sh --keyserver hkp://keyserver.ubuntu.com:80 --recv-keys 0DF731E45CE24F27EEEB1450EFDC8610341D9410
gpg: keyserver receive failed: No keyserver available

user@work:~$ sudo apt-key adv -vv --keyserver hkp://keyserver.ubuntu.com:80/ --recv-keys 0DF731E45CE24F27EEEB1450EFDC8610341D9410
[sudo] password for deda: 
Executing: /tmp/apt-key-gpghome.Z1cpSvPrvA/gpg.1.sh -vv --keyserver hkp://keyserver.ubuntu.com:80/ --recv-keys 0DF731E45CE24F27EEEB1450EFDC8610341D9410
gpg: no running Dirmngr - starting '/usr/bin/dirmngr'
gpg: waiting for the dirmngr to come up ... (5s)
gpg: connection to the dirmngr established
gpg: keyserver receive failed: No keyserver available