codeharbor_links editable through own profile

This commit is contained in:
Karol
2019-08-27 18:33:21 +02:00
parent ec48d1f447
commit 8c306669af
11 changed files with 116 additions and 56 deletions

View File

@@ -241,9 +241,22 @@ en:
show:
link: Consumer
codeharbor_link:
generate: Generate
info:
push_url: |
The address on CodeHarbor side your exercise can be exported to. If you don't know what to write here, ask an admin.
name: |
Can be anything to Identify your account link.
token: |
Will be used to authenticate your export request. Has to be the same on both sides.
client_id:
Will be sent with your token. Can be automatically generated.
client_secret:
Will be sent with your token. Can be automatically generated.
profile_label: Codeharbor Link
new: Create link to Codeharbor
edit: Edit existing link
delete: Remove Codeharbor link
execution_environments:
form:
hints: