Anton Kosyakov
0623a65543
[supervisor-api] fix generate.sh script
...
and add missing copyrights
2021-03-08 09:48:50 +01:00
Gero Posmyk-Leinemann
9be229e4a2
[admin] More runtime info: podName and nodeIp ( #3197 )
...
* [admin] Render additional workspace properties
* [protocol] add instance.status.podName
* [protocol] Introduce instance.status.nodeIp
2021-02-23 10:19:26 +01:00
Christian Weichel
1046faf0f9
[registry-facade] Remove feature flag
...
and enable registry-facade by default.
2021-02-18 09:25:56 +01:00
Christian Weichel
5b6325f0de
Remove privileged feature flag and permission
...
now that we have user-namespaced workspaces the privileged flag
has become even more of a nuisance and technical debt.
Fixes gitpod-io/gitpod#3058
2021-02-12 09:19:48 +01:00
Anton Kosyakov
4cc6245ab8
[supervisor] terminal API enhancements
2021-01-28 09:33:09 +01:00
Christian Weichel
b7dda84ad0
[license] Update license header from TypeFox GmbH to Gitpod GmbH
2021-01-04 15:12:02 +01:00
Christian Weichel
31372243e2
[ws-manager] Support ghost workspaces
...
which act as palceholders for actual workspaces.
2020-12-08 16:35:44 +01:00
Cornelius A. Ludmann
afd3d1ff33
[wsman] Add support to talk to older WorkspaceManagers
...
The package/namespace of gRPC has been changed from 'protocol' to 'wsman'. This commit adds the option to configure WorkspaceManager with legacy = true in order to use the old namespace for certain WorkspaceManager instances.
This should probably be reverted as soon as we do not need to talk to legacy WorkspaceManagers anymore.
2020-11-27 19:46:15 +01:00
Christian Weichel
2f5cca3ff0
[ws-manager] Provide user namespacing ability using a feature flag
2020-10-13 11:10:53 +02:00
Christian Weichel
012e34ad76
[license-header] Re-apply license header
2020-09-04 14:12:06 +02:00
Christian Weichel
3a84d35b36
[ws-manager] Report IDE image as part of the workspace spec
...
Note: this change is not backwards compatible as it makes incompatible
changes to the protocol.
2020-09-04 14:12:06 +02:00
Christian Weichel
757c19a935
[registry-facade] Move from theia version to IDE image
...
This move allows us to specify an IDE docker image at workspace startup,
rather than just selecting from a fixed set of Theia images.
2020-09-04 14:12:06 +02:00
gitpod-init
24f7b609bf
initial commit
2020-08-25 09:25:15 +00:00
