An error occurred fetching the project authors.
  1. 10 Jun, 2022 3 commits
  2. 29 Apr, 2022 1 commit
    • 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
  3. 05 Aug, 2021 1 commit
  4. 11 Jun, 2021 1 commit
  5. 27 May, 2021 2 commits
  6. 25 May, 2021 1 commit
  7. 24 Mar, 2021 1 commit
  8. 22 Feb, 2021 1 commit
  9. 16 Feb, 2021 1 commit