You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
Repository navigation
Distribute the GPG key for the Debian repository directly from a file instead of from a keyserver #3513
Describe the feature or problem you’d like to solve
The installation instructions currently have the keys distributed from a keyserver, instead of being distributed from a key file directly(more info below).
I'm not positive on how keyservers all work, but I think that it's theoretically possible to modify the GPG key on one, and still have it download without complaint(again though, I don't really know much on how they work).
I also don't know much about keyservers, but seeing how many users have a problem using apt-add-repository as per our install instructions, including the fact that it's not guaranteed to exist on a specific distro, I would much rather go with the route that you are suggesting to simplify the setup and to have just one set of copy-pasteable instructions for everyone.
Activity
mislav commentedon May 6, 2021
I also don't know much about keyservers, but seeing how many users have a problem using
apt-add-repositoryas per our install instructions, including the fact that it's not guaranteed to exist on a specific distro, I would much rather go with the route that you are suggesting to simplify the setup and to have just one set of copy-pasteable instructions for everyone.Ref. #2893 #3441 (comment)
vilmibm commentedon May 18, 2021
I'm +1 on this.