menu
announcement

Spectrum is now read-only. Learn more about the decision in our official announcement.

Theia

Eclipse Theia - Cloud & Desktop IDE

Channels
Team

JSON schema preferences

February 11, 2020 at 4:17pm

JSON schema preferences

February 11, 2020 at 4:17pm (Edited 3 years ago)
We are using the extension /json but currently having troubles using a local schema located in the theia runtime workspace. The definition of 'json.schemas : url' says it accepts a relative path to a schema in the current directory. (https://github.com/eclipse-theia/theia/blob/master/packages/json/src/browser/json-preferences.ts) When using a relative path I get 'Error: ENOENT: no such file or directory, open '/.schemas/myjsonschema.json' '. If I use the absolute path to the schema (e.g. via the workspace settings) it works. Is this intended? Thanks for your answer in advance.

February 12, 2020 at 6:12am
No, i don't think it is intended. Is it possible to reproduce with Theia repo. Could you open an issue please?
Thank you for your answer! Sure, I opened https://github.com/eclipse-theia/theia/issues/7140