Kieran Cawthray
378fa6b401
Reset
2021-05-18 15:33:25 +02:00
Stoian Minaiev
d82a1c5225
docker: add git system package to image
2021-05-14 01:07:32 +03:00
Peter
f8c502e447
Gitpod workspace path update due to repo rename
...
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-04-18 17:23:28 +10:00
Joe Eaves
cf187d342c
Use root for package installation
...
And forget the chown.
sudo can be used if the dependencies ever need to be updated "live"
2021-01-05 00:34:15 +00:00
Joe Eaves
0880d53a94
Custom Dockerfile for gitpod.io
...
Little configuration to give https://gitpod.io users an environment with the SDKs pre-installed
2021-01-05 00:34:15 +00:00