From a8bf84a353f1607f670a65d91438ece296395014 Mon Sep 17 00:00:00 2001
From: Marc Beninca <marc-beninca@rwx.work>
Date: Sat, 4 May 2019 14:23:48 +0200
Subject: [PATCH] gpg export public SSH key

---
 in/public/security/gpg/index.rst | 22 ++++++++++++++--------
 1 file changed, 14 insertions(+), 8 deletions(-)

diff --git a/in/public/security/gpg/index.rst b/in/public/security/gpg/index.rst
index 54d8816..90a2698 100644
--- a/in/public/security/gpg/index.rst
+++ b/in/public/security/gpg/index.rst
@@ -10,7 +10,6 @@ TODO
 * trust
 * sign
 * delete
-* ssh authentication ???
 
 Configure
 =========
@@ -265,13 +264,6 @@ set primary UserID
 Export
 ======
 
-public key
-----------
-
-.. code:: shell
-
-  gpg --armor --export "Key ID" > pub.asc
-
 private key
 -----------
 
@@ -286,6 +278,20 @@ private subkeys
 
   gpg --armor --export-secret-subkeys FFIINNGGEERRPPRRIINNTT > subkeys.gpg
 
+public key
+----------
+
+.. code:: shell
+
+  gpg --armor --export "Key ID" > id.asc
+
+public SSH key
+--------------
+
+.. code:: shell
+
+  gpg --armor --export-ssh-key "Key ID" > id.pub
+
 Dump
 ====