Confirmed users
3,104
edits
ReleaseEngineering/PuppetAgain/Packages: Difference between revisions
Jump to navigation
Jump to search
ReleaseEngineering/PuppetAgain/Packages (view source)
Revision as of 15:38, 18 December 2015
, 18 December 2015→Setup
(→Setup) |
|||
| Line 184: | Line 184: | ||
GNUPGHOME has the Ubuntu arch key in it. If a sync operation fails because a signature does not verify, download the key using | GNUPGHOME has the Ubuntu arch key in it. If a sync operation fails because a signature does not verify, download the key using | ||
GNUPGHOME=/etc/debmirror-gpg gpg --no-default-keyring --keyring /etc/debmirror-gpg/trustedkeys.gpg --keyserver keyserver.ubuntu.com --recv-keys $KEY_ID | GNUPGHOME=/etc/debmirror-gpg gpg --no-default-keyring --keyring /etc/debmirror-gpg/trustedkeys.gpg \ | ||
--keyserver keyserver.ubuntu.com --recv-keys $KEY_ID | |||
Add `--keyserver-options http-proxy=proxy.dmz.scl3.mozilla.com:3128` at Mozilla. Note that this keyserver's search option appears to be broken. You can usually google for the key id, and find the relevant link on the keyserver, and then copy-paste the result into | Add `--keyserver-options http-proxy=proxy.dmz.scl3.mozilla.com:3128` at Mozilla. Note that this keyserver's search option appears to be broken. You can usually google for the key id, and find the relevant link on the keyserver, and then copy-paste the result into | ||