1. 09 May, 2022 8 commits
  2. 08 May, 2022 2 commits
  3. 06 May, 2022 5 commits
  4. 05 May, 2022 4 commits
  5. 04 May, 2022 6 commits
  6. 03 May, 2022 2 commits
  7. 02 May, 2022 9 commits
  8. 29 Apr, 2022 4 commits
    • Xavier Thompson's avatar
      1b877749
    • Xavier Thompson's avatar
      software/theia: Refactor tests · 30dd0182
      Xavier Thompson authored
      30dd0182
    • Xavier Thompson's avatar
      890a40db
    • Xavier Thompson's avatar
      software/theia: Simplify embedded SR options · 8cb2f7d7
      Xavier Thompson authored
      Remove existing "embedded instance" options:
      - `embedded-sr`
      - `embedded-sr-type`
      - `embedded-instance-parameters`
      
      Instead introduce `one-time-embedded-instance` option:
      - Only taken into account when Theia is instantiated the first time.
      - Content should be a JSON object with:
        - 'software-url': string of the software URL
        - 'software-type': (optional) string of the software type
        - 'instance-parameters': (optional) JSON object
      
      If the option is non-empty:
      - Theia will attempt once to:
        - Parse the JSON content
        - Create a supply/request script
        - Call the script
      - A promise will check whether the script was successfully called.
      
      If the promise fails forever, e.g. because of ill-formed JSON, emptying
      the option will remove the promise. Editing the option after the first
      time will have no effect, whether the promise succeded or not.
      8cb2f7d7