info on keys

This commit is contained in:
Filip Gralinski 2016-03-14 21:12:54 +01:00
parent f14febf984
commit 382f5d959b
2 changed files with 5 additions and 2 deletions

View File

@ -77,13 +77,16 @@ updateLocalIdAndPubKey userId (Just localId) maybeSshPubKey = do
case userLocalId user of case userLocalId user of
Just prevLocalId -> do Just prevLocalId -> do
unless (prevLocalId == localId) $ setMessage $ toHtml ("only the administrator can change your ID" :: Text) 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] runDB $ deleteWhere [PublicKeyUser ==. userId]
case maybeSshPubKey of case maybeSshPubKey of
Just key -> do Just key -> do
runDB $ insert $ PublicKey { runDB $ insert $ PublicKey {
publicKeyUser=userId, publicKeyUser=userId,
publicKeyPubkey=key } 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 () return ()
Nothing -> return () Nothing -> return ()
else else

View File

@ -10,6 +10,6 @@
<ul class="list-group"> <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>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>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">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. <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.