Manuel Alejandro de Brito Fontes
|
9dfea94c9b
|
Run shellcheck against scripts
|
2021-06-04 16:26:37 -04:00 |
|
Christian Weichel
|
015b38ff06
|
[build] Produce version manifest
|
2021-06-03 15:17:16 +02:00 |
|
Autofix
|
af51739d34
|
Autofix: trailing-spaces
|
2021-04-12 08:29:10 +02:00 |
|
Cornelius A. Ludmann
|
b1024a271c
|
[gitpod-k3s] Update k3s to v1.20.0+k3s2 and Gitpod v0.7.0
/werft with-installer
/werft no-preview
|
2021-02-05 15:47:46 +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
|
8d1664f81f
|
[ws-daemon] Search and replace ws-sync
This should have happened in #2003
/werft https=true
|
2020-10-19 10:26:18 +02:00 |
|
Cornelius A. Ludmann
|
43f914e9b2
|
Update Gitpod k3s
- Add volumes to store state
- Fix docker-compose DNS
/werft no-preview
/werft with-installer
|
2020-10-07 08:54:28 +02:00 |
|
Cornelius A. Ludmann
|
3b1b7f1118
|
[Gitpod k3s] Add process group killing to tini in k3s Docker containers
Without this, docker stop does not work well because sub processes are not killed.
see https://github.com/krallin/tini#process-group-killing
/werft no-preview
|
2020-09-04 12:58:04 +02:00 |
|
gitpod-init
|
24f7b609bf
|
initial commit
|
2020-08-25 09:25:15 +00:00 |
|