• 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
instance.cfg.in 3.2 KB