From 9f1e127c5211ce700ae1ea248dbcb73933b30c0d Mon Sep 17 00:00:00 2001
From: Philippe Lamy <philippe@philippelamy.ca>
Date: Mon, 21 Jun 2021 16:27:02 -0400
Subject: [PATCH] changed the key server to keys.openpgp.org - as seen in the
 Tor Browser documentation

---
 tor_docker/Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tor_docker/Dockerfile b/tor_docker/Dockerfile
index bde5e96..c20aeea 100644
--- a/tor_docker/Dockerfile
+++ b/tor_docker/Dockerfile
@@ -12,7 +12,7 @@ RUN wget $TORGZ.asc && wget $TORGZ
 # From https://2019.www.torproject.org/include/keys.txt
 # Roger Dingledine: 0xEB5A896A28988BF5, 0xC218525819F78451
 # Nick Mathewson: 0xFE43009C4607B1FB, 0x6AFEE6D49E92B601(signing key)
-RUN gpg --keyserver pool.sks-keyservers.net --recv-keys 0xFE43009C4607B1FB 0x6AFEE6D49E92B601 \
+RUN gpg --keyserver keys.openpgp.org --recv-keys 0xFE43009C4607B1FB 0x6AFEE6D49E92B601 \
  && gpg --verify tor-$TOR_VER.tar.gz.asc \
  && tar xfz tor-$TOR_VER.tar.gz && cd tor-$TOR_VER \
  && ./configure && make install