From 0e1158294e46275bfd1ba41353e474ccb8febcc1 Mon Sep 17 00:00:00 2001 From: Neil Alexander Date: Sun, 14 Oct 2018 18:03:00 +0100 Subject: [PATCH] Update platform-linux.md --- platform-linux.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/platform-linux.md b/platform-linux.md index 526bbf2..214d2d9 100644 --- a/platform-linux.md +++ b/platform-linux.md @@ -76,7 +76,7 @@ installed into systemd and started. To start with, download the repository key: ``` -sudo curl -o /etc/pki/rpm-gpg/RPM-GPG-KEY-yggdrasil http://neilalexander.s3.eu-west-2.amazonaws.com/rpm/key.txt +sudo rpm --define="%_hkp_keyserver http://pool.sks-keyservers.net" --import 0x5898470A764B32C9 ``` Add the repository: