Điều này thực sự có thể không phải là một vấn đề với việc tìm kiếm máy chủ khóa, đó là những gì lỗi cho thấy. Lệnh apt-key gọi gpg, lần lượt cố gắng truy cập máy chủ khóa. Rõ ràng có một lỗi trong gpg, theo đó nếu máy chủ khóa không có khóa bạn đang yêu cầu, thì gpg giải thích sai rằng "không tìm thấy máy chủ".
Cũng có thể là một máy chủ khóa không phản hồi sẽ làm điều tương tự và tôi đã thấy các môi trường nơi các trình khóa được chặn (quy tắc tường lửa của công ty), vì vậy đó có thể là nguyên nhân gốc của bạn nếu có tường lửa ngược dòng mà bạn không có quyền truy cập đến.
Chỉ để tham khảo, chìa khóa ở đó và máy chủ khóa hiện đang trả lời cho tôi:
$ sudo apt-key adv --keyserver keyserver.ubuntu.com --recv 7F0CEB10
Executing: gpg --ignore-time-conflict --no-options --no-default-keyring --secret-keyring /tmp/tmp.rh1myoBdSE --trustdb-name /etc/apt//trustdb.gpg --keyring /etc/apt/trusted.gpg --primary-keyring /etc/apt/trusted.gpg --keyserver keyserver.ubuntu.com --recv 7F0CEB10
gpg: requesting key 7F0CEB10 from hkp server keyserver.ubuntu.com
gpg: key 7F0CEB10: "Richard Kreuter <richard@10gen.com>" not changed
gpg: Total number processed: 1
gpg: unchanged: 1
Có thể cổng đó là sự cố (đó là lần cuối cùng khi tôi gặp sự cố tường lửa của công ty), vì vậy hãy thử thực hiện điều này trên cổng HTTP tiêu chuẩn (80) thay vào đó, hãy xem liệu điều đó có sắp xếp được không:
sudo apt-key adv --keyserver hkp://keyserver.ubuntu.com:80 --recv 7F0CEB10
dig keyserver.ubuntu.com
cái gì?