[Merged by Bors] - fix: use modern ubuntu version for gitpod

[gebner]

This fixes lake exe cache get in gitpod.

---

[eric-wieser]

We might need to copy some stuff from https://github.com/gitpod-io/workspace-images/blob/main/base/Dockerfile if we update the image.

[eric-wieser]

It's probably worth installing the latest git version, since the default image does

https://github.com/gitpod-io/workspace-images/blob/5f0200620830ce4ba15a4fccb7e6634300a61af4/base/Dockerfile#L39-L41

The default prompt is nice to have too

https://github.com/gitpod-io/workspace-images/blob/5f0200620830ce4ba15a4fccb7e6634300a61af4/base/Dockerfile#L51-L54

[gebner]

It's probably worth installing the latest git version, since the default image does

I don't think that's enough of a reason. I would only add the extra PPA if you want a git feature from git > 2.34. (Upgrading git makes a lot more sense for ancient ubuntu versions which have a correspondingly ancient git version.)

[gebner]

I've added all the other goodies you've pointed out.

[gebner]

bors merge

[bors]

Pull request successfully merged into master.

Build succeeded:

• Build
• Lint style