From 382f5d959bef86455a5dc84f8e10fe95a9578492 Mon Sep 17 00:00:00 2001
From: Filip Gralinski <filipg@amu.edu.pl>
Date: Mon, 14 Mar 2016 21:12:54 +0100
Subject: [PATCH] info on keys

---
 Handler/YourAccount.hs        | 5 ++++-
 templates/your-account.hamlet | 2 +-
 2 files changed, 5 insertions(+), 2 deletions(-)

diff --git a/Handler/YourAccount.hs b/Handler/YourAccount.hs
index 84d2d93..d94c75a 100644
--- a/Handler/YourAccount.hs
+++ b/Handler/YourAccount.hs
@@ -77,13 +77,16 @@ updateLocalIdAndPubKey userId (Just localId) maybeSshPubKey = do
           case userLocalId user of
              Just prevLocalId -> do
                unless (prevLocalId == localId) $ setMessage $ toHtml ("only the administrator can change your ID" :: Text)
-             Nothing -> runDB $ update userId [UserLocalId =. Just localId]
+             Nothing -> do
+               runDB $ update userId [UserLocalId =. Just localId]
+               setMessage $ toHtml ("ID set" :: Text)
           runDB $ deleteWhere [PublicKeyUser ==. userId]
           case maybeSshPubKey of
             Just key -> do
               runDB $ insert $ PublicKey {
                 publicKeyUser=userId,
                 publicKeyPubkey=key }
+              setMessage $ toHtml ("SSH public key added; now it may take 10 minutes for the keys to be active, please be patient" :: Text)
               return ()
             Nothing -> return ()
     else
diff --git a/templates/your-account.hamlet b/templates/your-account.hamlet
index df0a208..e363350 100644
--- a/templates/your-account.hamlet
+++ b/templates/your-account.hamlet
@@ -10,6 +10,6 @@
         <ul class="list-group">
             <li class="list-group-item"><b>Name</b> is your human-readable name (to be shown on the leaderboard).
             <li class="list-group-item"><b>ID</b> is used in the URLs for your repos (must be composed of lower-case letters, digits or hyphyns, must start with a lower-case letter).
-            <li class="list-group-item"><b>SSH public key</b> is needed if you want to access repos hosted on Gonito.net.
+            <li class="list-group-item"><b>SSH public key</b> is needed if you want to access repos hosted on Gonito.net (usually it is <tt>.ssh/id_rsa.pub</tt> in your home directory after you generated private/public key pair).
             <li class="list-group-item">ID cannot be changed once it is set up.
             <li class="list-group-item">You don't need to specify your ID and SSH public key, if you don't use private repos hosted on Gonito.net.
\ No newline at end of file