"description":"The option used to pilot automatic build and run of software and instances hosted inside Theia. When 'running', build and run is done automatically in the background. When 'stopped' build and run processes are stopped and need to be run manually. When 'user-controlled', the user can manage it directly in the local supervisord. ",
"autorun":{
"type":"string",
"title":"Automatically Run Software/Instance",
"enum":[
"description":"The option used to pilot automatic build and run of software and instances hosted inside Theia. When 'running', build and run is done automatically in the background. When 'stopped' build and run processes are stopped and need to be run manually. When 'user-controlled', the user can manage it directly in the local supervisord. ",
"description":"One-shot optional JSON preconfiguration for an embedded instance. Only applied once when Theia is instantiated. Changing this option afterward will have no effect.",
"description":"One-shot optional JSON preconfiguration for an embedded instance. Only applied once when Theia is instantiated. Changing this option afterward will have no effect.",
"title":"Forward Frontend Requests in the Embedded SlapOS",
},
"description":"Embedded SlapOS instance by default forwards frontend requests as shared instances attached to the Theia instance, so that HTTP frontends can be allocated for services. This behavior can be disabled, in that case frontends will not be allocated.",
"forward-slapos-frontend-requests":{
"type":"string",
"title":"Forward Frontend Requests in the Embedded SlapOS",
"enum":[
"description":"Embedded SlapOS instance by default forwards frontend requests as shared instances attached to the Theia instance, so that HTTP frontends can be allocated for services. This behavior can be disabled, in that case frontends will not be allocated.",
"enabled",
"type":"string",
"disabled"
"enum":[
],
"enabled",
"default":"enabled"
"disabled"
},
],
"frontend-guid":{
"default":"enabled"
"title":"Frontend Instance ID",
},
"description":"Unique identifier of the frontend instance, like \"SOFTINST-11031\".",
"frontend-guid":{
"type":"string"
"title":"Frontend Instance ID",
},
"description":"Unique identifier of the frontend instance, like \"SOFTINST-11031\".",
"frontend-sr":{
"type":"string"
"title":"Frontend Software URL",
},
"description":"Software Release URL of the frontend instance, like \"http://example.com/path/to/software.cfg\".",
"frontend-sr":{
"type":"string",
"title":"Frontend Software URL",
"format":"uri",
"description":"Software Release URL of the frontend instance, like \"http://example.com/path/to/software.cfg\".",