From 3606d0870dd0e36bd91d8089018f3fb8b2a262fd Mon Sep 17 00:00:00 2001
From: Nikos Skalkotos <skalkoto@grnet.gr>
Date: Tue, 23 Dec 2014 17:26:07 +0200
Subject: [PATCH] docs: Use wget in favor of curl in Debian

In the Debian instructions use wget which is by default installed in
the Base system.
---
 docs/install.rst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/install.rst b/docs/install.rst
index 3926034..17144e8 100644
--- a/docs/install.rst
+++ b/docs/install.rst
@@ -48,7 +48,7 @@ Add the apt-dev GPG key to the list of trusted keys:
 
 .. code-block:: console
 
-   # curl https://dev.grnet.gr/files/apt-grnetdev.pub | apt-key add -
+   # wget --no-check-certificate  -qO-  http://dev.grnet.gr/files/apt-grnetdev.pub | apt-key add -
 
 And resynchronize the package index files from their sources:
 
-- 
GitLab