Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
2021-05-14 | docker: add git system package to image | Stoian Minaiev | 1 | -0/+3 | |
2021-04-18 | Gitpod workspace path update due to repo rename | Peter | 1 | -4/+5 | |
Gitpod workspace path is based on repo name... it was `/workspace/Pinetime`, but after the repo rename it's now `/workspace/InfiniTime`. Also added second pip call as it's in the main dockerfile. | |||||
2021-01-05 | Use root for package installation | Joe Eaves | 1 | -3/+4 | |
And forget the chown. sudo can be used if the dependencies ever need to be updated "live" | |||||
2021-01-05 | Custom Dockerfile for gitpod.io | Joe Eaves | 1 | -0/+38 | |
Little configuration to give https://gitpod.io users an environment with the SDKs pre-installed |