search

ddev / ddev-gitpod-launcher

Launch any DDEV project with Gitpod
https://ddev.github.io/ddev-gitpod-launcher/
Apache License 2.0
12 stars 8 forks source link

Do an apt-get upgrade on ddev in prebuild #24

Closed rfay closed 2 years ago

rfay commented 2 years ago

I think just doing an apt-get update with apt-get install -y ddev we'll always have latest ddev. Fixes #22 perhaps permanently. /cc @tyler36

shaal commented 2 years ago

AFAIK, Gitpod has 3 different components, that together builds the final workspace for the end-user.

  1. Custom docker image - all the programs you want installed in your workspace (everything except for /workspace)
  2. Prebuild (init in .gitpod.yml) - Anything you want to prepare, has to be under /workspace)
  3. Workspace (start in .gitpod.yml) - Runs every time a new workspace starts, or when a sleeping workspace is turned-on

After a workspace is already running, any changes you make or software you install, which is saved outside of /workspace - will not persist after the workspace times-out.

rfay commented 2 years ago

What's done in init doesn't persist if it affects system space? I know it doesn't do /home, but I thought apt-get install would be fine to do in prebuild/init