2015-08-29 07:23:34 +02:00
LogIn: log in
LogOut: log out
LoggedAs: logged as
2015-08-29 14:58:47 +02:00
CreateChallenge: add a challenge
Name: name
PublicUrl: public repo (URL)
PrivateUrl: private repo (URL)
Branch: branch
Add: Add!
2018-01-18 08:24:06 +01:00
ListChallenges: challenges
2015-09-06 15:33:37 +02:00
SubmitSolution: Submit a solution to the challenge
Submit: Submit
SubmissionUrl: Submission repo URL
SubmissionBranch: Submission repo branch
SubmissionDescription: Submission description
2017-02-19 22:26:01 +01:00
SubmissionTags: Submission tags
2015-09-30 20:15:33 +02:00
YourAccount: your account
AboutMe: about me
AccountName: name
2017-09-23 15:04:40 +02:00
AccountNameTooltip: your human-readable name (to be shown on the leaderboard)
2015-11-10 21:35:42 +01:00
Id: ID
2021-05-12 07:03:38 +02:00
IdTooltip: to be used in the URLs for your repos (only lower-case letters, digits or hyphens, must start with a lower-case letter or a digit), once set cannot be changed!
2015-11-10 21:35:42 +01:00
SshPubKey: your SSH public key
2017-09-23 15:04:40 +02:00
SshPubKeyTooltip: needed if you want to access repos hosted on Gonito.net (usually ".ssh/id_rsa.pub" in your home directory after you generated private/public key pair)
2015-11-11 13:25:09 +01:00
Home: home
2016-02-12 13:00:33 +01:00
Search: search
GitCommitSha1: Git commit SHA1 hash
2016-05-03 08:46:10 +02:00
CommentText: Write a comment
Send: Send
2016-05-03 10:21:40 +02:00
Avatar: avatar
2016-05-27 18:11:13 +02:00
About: about
2017-09-23 08:45:04 +02:00
Password: enter a new password for your account
2017-02-18 10:26:02 +01:00
EMail: e-mail
CreateResetLink: create reset link
LinkWrongOrExpired: Link wrong or expired, please ask the site admin again
2017-02-19 14:05:56 +01:00
TagName: tag
TagDescription: description
2018-01-18 08:24:06 +01:00
ListTags: tags
2017-02-26 21:40:38 +01:00
AchievementName: achievement name
AchievementDescription: optional description
AchievementDeadlineDay: achievement deadline day
AchievementDeadlineTime: achievement deadline hour
AchievementMaxWinners: maximum number of submitters
AchievementTags: tags required for an achievement
Achievements: achievements
2017-02-26 22:01:27 +01:00
AchievementPoints: points
2017-03-18 14:51:09 +01:00
WantToBeAnonimised: I want to stay anonymous for other user of Gonito.net
2017-05-15 14:25:54 +02:00
YourScore: your score
2017-09-23 08:45:04 +02:00
PasswordForNewAccount: enter a password for your new account
2017-09-27 22:44:00 +02:00
SubmissionDescriptionTooltip: the first non-empty line of the commit message will be used, if this is left empty
2017-09-29 14:50:09 +02:00
Challenge: challenge
2017-09-29 15:53:20 +02:00
Course: course
2017-10-20 09:49:37 +02:00
CourseOptional: course (optional)
2018-01-02 18:55:35 +01:00
AddExtraPoints: add points freely
ExtraPointsPoints: Points to be added
ExtraPointsDescription: Describe why they are added
User: User
2018-04-07 14:15:47 +02:00
Manage: manage
2018-04-07 18:51:58 +02:00
Presentation: presentation
GonitoInClass: Gonito in class
2018-06-05 07:46:42 +02:00
GitAnnexRemote: git-annex remote (if needed)
2018-06-05 16:23:16 +02:00
SubmissionGitAnnexRemote: git-annex remote specification (if needed)
2018-06-27 13:09:11 +02:00
RemoveSubmission: remove submission
RestoreSubmission: restore submission
2018-07-30 07:59:38 +02:00
ParameterName: parameter name
ParameterValue: parameter value
2018-09-01 12:01:35 +02:00
ChallengeName: computer-friendly name ("slug")
2021-05-12 07:03:38 +02:00
ChallengeNameTooltip: to be used in the URLs (only lower-case letters, digits or hyphens, must start with a lower-case letter or a digit), once set cannot be changed!
2018-09-14 15:44:20 +02:00
FilterCondition: filter condition
FilterConditionTooltip: the condition used to pre-select all submission — an extra graph will be drawed for all submissions matching this condition (not necessarily the target condition)
TargetCondition: target condition
TargetConditionTooltip: the condition which is required for a submission to be considered for realising the target
TargetDeadlineDay: target day
TargetDeadlineTime: target time
TargetValue: target value to be reached before the target date
Test: test
Dashboard: dashboard
2019-02-22 09:53:00 +01:00
TargetName: target name
2019-03-20 16:31:08 +01:00
ShowArchivedChallenges: show archived challenges
2019-06-15 12:21:41 +02:00
CoursesITeach: courses I teach
2019-08-28 08:49:43 +02:00
MajorChange: major change
MinorChange: minor change
Patch: patch
ChangeType: change type
2019-08-29 08:56:22 +02:00
Update: Update
2019-09-24 22:52:25 +02:00
ChallengeDeadlineDay: challenge deadline day
ChallengeDeadlineTime: challenge deadline time
ChallengeDeadlineTooltip: no submissions will be accepted after the deadline; this can be used for organizing competitions set in time
2019-11-07 14:31:10 +01:00
WritingPapers: writing papers with Gonito
2019-11-25 22:38:59 +01:00
UserIdentifier: user login/identifier
2020-02-21 23:16:06 +01:00
AltRepoScheme: alternative git repo scheme (URL without the challenge name pointing to some external server)
AltRepoSchemeTooltip: set this if you want to use an alternative git server for all your submissions
2020-03-26 21:01:04 +01:00
ShouldChallengeBeValidated: validate challenge (do not switch off unless you have a good reason)
2020-09-28 19:02:14 +02:00
ShowAnnotations: show annotations
Compare: Compare
OutSha1: Output Sha1 hash
2021-02-17 09:31:23 +01:00
ChallengeIsArchived: This challenge is archived!
ChallengeNotHealthy: Something is wrong with the challenge data!
Archive: Archive
Unarchive: Unarchive
Heal: Heal
2021-03-03 12:31:21 +01:00
TeamIdent: Team name
TeamIdentTooltip: Note that it cannot be changed later
YourTeams: your teams
2021-03-03 13:15:38 +01:00
AsTeam: As team
2021-03-13 11:16:54 +01:00
InviteToTeam: Invite to team (give the identifier/login of a user)
Join: Join
