infinitime.git/docker/.gitpod.Dockerfile, branch develop Unnamed repository; edit this file 'description' to name the repository. docker: add git system package to image 2021-05-13T22:07:32Z Stoian Minaiev stoyan.minaev@gmail.com 2021-05-13T22:07:32Z d82a1c52251a9924d71c6a2d0f6c749230f5d664 






Gitpod workspace path update due to repo rename
2021-04-18T07:23:28Z

Peter
pfeerick@users.noreply.github.com

2021-04-18T07:23:28Z

f8c502e447d1317430ea8ef86586a135d861aa57

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.




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.






Use root for package installation
2021-01-05T00:34:15Z

Joe Eaves
jinux@alluha.net

2021-01-05T00:26:27Z

cf187d342c4c16c6578e3244b164e649d588e45c

And forget the chown.
sudo can be used if the dependencies ever need to be updated "live"





And forget the chown.
sudo can be used if the dependencies ever need to be updated "live"







Custom Dockerfile for gitpod.io
2021-01-05T00:34:15Z

Joe Eaves
jinux@alluha.net

2020-12-21T01:54:22Z

0880d53a941d59605050f54e43a8ab6258247eaf

Little configuration to give https://gitpod.io users an environment with the SDKs pre-installed





Little configuration to give https://gitpod.io users an environment with the SDKs pre-installed