Code

Fix static deployment#356

Code

Merged

yurug merged 17 commits intoocaml-sf:masterocaml-sf/learn-ocaml:masterfrom agrn:ag/static-deploymentagrn/learn-ocaml:ag/static-deploymentCopy head branch name to clipboardAug 7, 2020

+328-221

Commits

Commits on Jun 24, 2020

• app/index_main: detect if the server is active by querying the version

  Show description for 27ff4ff
  agrn

  committed
  27ff4ff

• Exercise_index: change token' to token option'

  Show description for e328e03
  agrn

  committed
  e328e03

• Exercice: change token' to token option'

  Show description for 01c886c
  agrn

  committed
  01c886c

• app/exercise_main: allow grading without a server

  Show description for 5d6bfa8
  agrn

  committed
  5d6bfa8

• app/index_main: select the correct URL for the deployment mode

  Show description for 817b3af
  agrn

  committed
  817b3af

• app/index_main: disable the sync button by default

  Show description for a3531f0
  agrn

  committed
  a3531f0

• repo: generate exercise-index.json when building the repository

  Show description for bbdb7bb
  agrn

  committed
  bbdb7bb

• repo: add metadata to $EXERCISE.json when building the repository

  Show description for 705a887
  agrn

  committed
  705a887

• repo: lesson json files are no longer prefixed with `lesson_'

  Show description for 91682cf
  agrn

  committed
  91682cf

• repo: rename "playground.json" to "playgrounds.json"

  Show description for f3cca7d
  agrn

  committed
  f3cca7d

• repo: rename the playground directory from "playground" to "playgrounds"

  Show description for 45af604
  agrn

  committed
  45af604

Commits on Jun 25, 2020

• learn-ocaml-client: fix interaction with static instances of learn-ocaml

  Show description for d64403f
  agrn

  committed
  d64403f

Commits on Jun 29, 2020

• Add an option to prefix URLs in static files

  Show description for 1b25b04
  agrn

  committed
  1b25b04

• Prefix URLs in the front-end

  Show description for 22f7f8f
  agrn

  committed
  22f7f8f

• Fix URLs

  Show description for 15bad51
  agrn

  committed
  15bad51

• Transform the URL of <a> tags in HTML files

  Show description for 385f5d1
  agrn

  committed
  385f5d1

Commits on Jul 25, 2020

• Merge branch 'master' into ag/static-deployment

  yurug

  authored
  ee6d8ec