From e000ed47cde8c15739ac40c06d68a470375d4a1e Mon Sep 17 00:00:00 2001 From: Jan Keromnes Date: Tue, 8 Dec 2020 18:44:23 +0100 Subject: [PATCH] Fix Gitpod dev setup by forcing a dev image rebuild (#2783) --- .gitpod.Dockerfile | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/.gitpod.Dockerfile b/.gitpod.Dockerfile index 4f1fa66deb..7a4798ad37 100644 --- a/.gitpod.Dockerfile +++ b/.gitpod.Dockerfile @@ -1,5 +1,9 @@ FROM gitpod/workspace-full +# Gitpod will not rebuild Nushell's dev image unless *some* change is made to this Dockerfile. +# To force a rebuild, simply increase this counter: +ENV TRIGGER_REBUILD 1 + USER gitpod RUN sudo apt-get update && \ @@ -11,4 +15,4 @@ RUN sudo apt-get update && \ rust-lldb \ && sudo rm -rf /var/lib/apt/lists/* -ENV RUST_LLDB=/usr/bin/lldb-8 +ENV RUST_LLDB=/usr/bin/lldb-11