From 33701c8bef5f87c02e257d7549f19943d9ce7d77 Mon Sep 17 00:00:00 2001
From: Misty Stanley-Jones <misty@apache.org>
Date: Mon, 19 Dec 2016 15:32:01 -0800
Subject: [PATCH] Fix the command to add the Docker key on Debian

---
 engine/installation/linux/debian.md | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/engine/installation/linux/debian.md b/engine/installation/linux/debian.md
index 36b24c4e1d..22b2557335 100644
--- a/engine/installation/linux/debian.md
+++ b/engine/installation/linux/debian.md
@@ -71,7 +71,9 @@ from the new repository:
 
  5. Add the new `GPG` key.
 
-         $ apt-key adv --keyserver hkp://p80.pool.sks-keyservers.net:80 --recv-keys 58118E89F3A912897C070ADBF76221572C52609D
+         $ sudo apt-key adv \
+               --keyserver hkp://ha.pool.sks-keyservers.net:80 \
+               --recv-keys 58118E89F3A912897C070ADBF76221572C52609D
 
  6. Open the `/etc/apt/sources.list.d/docker.list` file in your favorite editor.