From 9d44b2cd6d06fe163c9ca8e1bf06077ec421388d Mon Sep 17 00:00:00 2001 From: nagyrobi Date: Thu, 13 May 2021 09:10:01 +0200 Subject: [PATCH] Create .gitpod.Dockerfile --- .gitpod.Dockerfile | 5 +++++ 1 file changed, 5 insertions(+) create mode 100644 .gitpod.Dockerfile diff --git a/.gitpod.Dockerfile b/.gitpod.Dockerfile new file mode 100644 index 00000000..21a1af13 --- /dev/null +++ b/.gitpod.Dockerfile @@ -0,0 +1,5 @@ +FROM gitpod/workspace-full + +USER gitpod + +RUN pip install -U platformio