Showing server SSH public key

This commit is contained in:
Filip Gralinski 2019-11-25 23:09:09 +01:00
parent b4c7731c53
commit 81cadb46f5
3 changed files with 15 additions and 1 deletions

View File

@ -89,6 +89,7 @@ data AppSettings = AppSettings
, appAutoOpening :: Bool
, appLeaderboardStyle :: LeaderboardStyle
, appNewBestResultSlackHook :: Maybe Text
, appServerSSHPublicKey :: Maybe Text
}
instance FromJSON AppSettings where
@ -130,6 +131,8 @@ instance FromJSON AppSettings where
appNewBestResultSlackHook <- o .:? "new-best-result-slack-hook"
appServerSSHPublicKey <- o .:? "server-ssh-public-key"
return AppSettings {..}
-- | Settings for 'widgetFile', such as which template languages to support and

View File

@ -14,6 +14,7 @@ tag-permissions: "_env:TAG_PERMISSIONS:only-admin-can-add-new-tags"
auto-opening: "_env:AUTO_OPENING:false"
leaderboard-style: "_env:LEADERBOARD_STYLE:by-submitter"
new-best-result-slack-hook: "_env:NEW_BEST_RESULT_SLACK_HOOK:"
server-ssh-public-key: "_env:SERVER_SSH_PUBLIC_KEY:"
# Optional values with the following production defaults.
# In development, they default to the inverse.

View File

@ -54,7 +54,17 @@ $case (appRepoScheme settings)
cd #{challengeName challenge}
git pull #{appRepoHost settings}#{challengeName challenge}
<p>(Alternatively, you can use any other Git repo, e.g. GitLab, make sure Gonito.net has access to your repo.)
<h4>Using an external repository
$maybe serverPubKey <- (appServerSSHPublicKey settings)
<p>Alternatively, you can use any other Git repo, e.g. GitLab, GitHub or your own repo, make sure Gonito.net has access to your repo, either by making it public or giving read access to the SSH public key:
<pre>
#{serverPubKey}
$nothing
<p>Alternatively, you can use any other Git repo, e.g. GitLab, GitHub or your own repo, make sure Gonito.net has access to your repo.
<p>(And initiate it with #{appRepoHost settings}#{challengeName challenge}.)
$of Branches
<p>Clone the repo: