From bb700281a31b6e745e3c9ae6f17024752b4ef110 Mon Sep 17 00:00:00 2001 From: Julian Ospald Date: Sat, 30 Sep 2023 00:02:36 +0800 Subject: [PATCH] Update gpg docs --- docs/guide.md | 3 ++- docs/install.md | 9 ++++++++- 2 files changed, 10 insertions(+), 2 deletions(-) diff --git a/docs/guide.md b/docs/guide.md index 0408080..b2f0cf7 100644 --- a/docs/guide.md +++ b/docs/guide.md @@ -489,9 +489,10 @@ this is cryptographically secure. First, obtain the gpg keys: ```sh -gpg --batch --keyserver keys.openpgp.org --recv-keys 7D1E8AFD1D4A16D71FADA2F2CCC85C0E40C06A8C +gpg --batch --keyserver keyserver.ubuntu.com --recv-keys 7D1E8AFD1D4A16D71FADA2F2CCC85C0E40C06A8C gpg --batch --keyserver keyserver.ubuntu.com --recv-keys FE5AB6C91FEA597C3B31180B73EDE9E8CFBAEF01 gpg --batch --keyserver keyserver.ubuntu.com --recv-keys 88B57FCF7DB53B4DB3BFA4B1588764FBE22D19C4 +gpg --batch --keyserver keyserver.ubuntu.com --recv-keys EAF2A9A722C0C96F2B431CA511AAD8CEDEE0CAEF ``` Then verify the gpg key in one of these ways: diff --git a/docs/install.md b/docs/install.md index 161e7d9..acbf25d 100644 --- a/docs/install.md +++ b/docs/install.md @@ -296,7 +296,14 @@ Lower availability of bindists. Stack and HLS binaries are experimental. Download the binary for your platform at [https://downloads.haskell.org/~ghcup/](https://downloads.haskell.org/~ghcup/) and place it into your `PATH` anywhere. -If you want to GPG verify the binaries, import the following keys first: `7D1E8AFD1D4A16D71FADA2F2CCC85C0E40C06A8C` and `FE5AB6C91FEA597C3B31180B73EDE9E8CFBAEF01`. +If you want to GPG verify the binaries, import the following keys first: + +```sh +gpg --batch --keyserver keyserver.ubuntu.com --recv-keys 7D1E8AFD1D4A16D71FADA2F2CCC85C0E40C06A8C +gpg --batch --keyserver keyserver.ubuntu.com --recv-keys FE5AB6C91FEA597C3B31180B73EDE9E8CFBAEF01 +gpg --batch --keyserver keyserver.ubuntu.com --recv-keys 88B57FCF7DB53B4DB3BFA4B1588764FBE22D19C4 +gpg --batch --keyserver keyserver.ubuntu.com --recv-keys EAF2A9A722C0C96F2B431CA511AAD8CEDEE0CAEF +``` Then adjust your `PATH` in `~/.bashrc` (or similar, depending on your shell) like so: