Skip to content
Snippets Groups Projects
Commit 3606d087 authored by Nikos Skalkotos's avatar Nikos Skalkotos
Browse files

docs: Use wget in favor of curl in Debian

In the Debian instructions use wget which is by default installed in
the Base system.
parent 07e1d007
No related branches found
No related tags found
No related merge requests found
......@@ -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:
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment