extensions

Codio will use github published releases for versions.

index.js

Main entry point, pelase refer to https://codio.github.io/client/ for availale API

metadata.json

Metadata: {
  "name": "Extension Name",
  "type": "assessment" | "helper",
  "properties": AssessmentProperties | HelperProperties
  "file": “filename.zip”
}

type - assessment, custom assessments helper - helper extension for coach or any other embedded functinality file - if you build and publish sources as seprate archive that defines the filename look in files under release.

HelperProperties: {
  user_type: ‘instructor’ | ’learner’ | ‘all’
  component: ‘dashboard’, ‘assignment’, ‘assignment-author’, ‘all’
}

user_type - for which user type extension should be initialized, can be instructor or learner, or all for all types component - where to initialize extension, dashboard - dashboard only, assignment - either student assignment or teacher preview, assignment-author working cooy of authoring mode, all - everywhere

AssessmentProperties: {
  type: “assessment_type”,
  icon: “./icon.svg”,
  defaultHeight: 500,
}

TODO