3 commits

Author	SHA1	Message	Date
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