Cornelius A. Ludmann
|
caa322c871
|
Make port visibility private by default
|
2021-06-21 16:22:15 +02:00 |
|
Cornelius A. Ludmann
|
d147d21f02
|
[gitpod-schema] Remove unused 'ide' property
/werft no-preview
|
2021-06-18 11:44:51 +02:00 |
|
Cornelius A. Ludmann
|
4c9679fd35
|
[gitpod-schema] Add deprecation message to prebuild task
/werft no-preview
|
2021-06-18 11:43:46 +02:00 |
|
Cornelius A. Ludmann
|
1ce7a0b18c
|
[gitpod.yml] Remove deprecated openModes split-top and split-bottom
/werft no-preview
|
2021-06-16 17:25:44 +02:00 |
|
Anton Kosyakov
|
25b7e986d8
|
[theia] revert java debug extension
|
2021-03-03 10:20:50 +01:00 |
|
Bhadresh Desai
|
ec60884f47
|
Update java plugins (#3244) (#3281)
|
2021-02-26 14:09:06 +01:00 |
|
Anton Kosyakov
|
daaef1b588
|
switch to golang for go built-in extensions
|
2020-12-17 12:41:10 +01:00 |
|
Anton Kosyakov
|
a2965f9fe7
|
[theia] add css/htm language features extensions
|
2020-12-10 12:22:51 +01:00 |
|
Christian Weichel
|
1ae02969eb
|
[workspace] Remove privileged workspace config flag
|
2020-11-27 10:54:56 +01:00 |
|
Anton Kosyakov
|
53b6460de7
|
[supervisor] port config service
|
2020-11-04 05:50:23 +01:00 |
|
Anton Kosyakov
|
e3692b38ec
|
[supervisor] gitpod config service
|
2020-11-04 05:50:23 +01:00 |
|
Anton Kosyakov
|
32a4d7a961
|
add ide settings permission and enable it for devops role
|
2020-10-07 09:38:02 +02:00 |
|
Anton Kosyakov
|
a7d0af21f4
|
deprecate ide property
|
2020-10-05 10:26:02 +02:00 |
|
Cornelius A. Ludmann
|
9699516079
|
Allow setting port visibility in .gitpod.yml
Fixes gitpod-io/gitpod#1867
|
2020-09-25 17:21:57 +02:00 |
|
Anton Kosyakov
|
da278d55ba
|
[ide/code] initial image
Signed-off-by: Anton Kosyakov <anton.kosyakov@typefox.io>
|
2020-09-14 10:01:00 +02:00 |
|
gitpod-init
|
24f7b609bf
|
initial commit
|
2020-08-25 09:25:15 +00:00 |
|