From 7a0bcf3be3689d16397bf94b3f6306b9564d1c1f Mon Sep 17 00:00:00 2001 From: "piotr.idzik" Date: Sat, 17 Jun 2023 22:33:20 +0200 Subject: [PATCH 1/3] chore: configure gitpod --- .gitpod.dockerfile | 7 +++++++ .gitpod.yml | 4 ++++ 2 files changed, 11 insertions(+) create mode 100644 .gitpod.dockerfile create mode 100644 .gitpod.yml diff --git a/.gitpod.dockerfile b/.gitpod.dockerfile new file mode 100644 index 00000000..36c6b9bd --- /dev/null +++ b/.gitpod.dockerfile @@ -0,0 +1,7 @@ +FROM gitpod/workspace-full-vnc + +RUN curl https://nim-lang.org/choosenim/init.sh -sSf -o install_nim.sh \ + && chmod +x ./install_nim.sh \ + && ./install_nim.sh -y \ + && rm install_nim.sh \ + && echo "export PATH=/home/$(whoami)/.nimble/bin:\$PATH" >> ~/.bashrc diff --git a/.gitpod.yml b/.gitpod.yml new file mode 100644 index 00000000..7e7ad2f5 --- /dev/null +++ b/.gitpod.yml @@ -0,0 +1,4 @@ +--- +image: + file: .gitpod.dockerfile +... From 502efa4cd70f1e72c022480354bb845c7c14b27b Mon Sep 17 00:00:00 2001 From: Piotr Idzik <65706193+vil02@users.noreply.github.com> Date: Sun, 18 Jun 2023 01:20:00 +0200 Subject: [PATCH 2/3] chore: use `gitpod/workspace-base` --- .gitpod.dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.gitpod.dockerfile b/.gitpod.dockerfile index 36c6b9bd..5c33d0ac 100644 --- a/.gitpod.dockerfile +++ b/.gitpod.dockerfile @@ -1,4 +1,4 @@ -FROM gitpod/workspace-full-vnc +FROM gitpod/workspace-base RUN curl https://nim-lang.org/choosenim/init.sh -sSf -o install_nim.sh \ && chmod +x ./install_nim.sh \ From 25742cee2538e7db55e9aabd4b2bff83c41b2b62 Mon Sep 17 00:00:00 2001 From: "piotr.idzik" Date: Sun, 18 Jun 2023 02:33:10 +0200 Subject: [PATCH 3/3] chore: add nimsaem.nimvscode --- .gitpod.yml | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/.gitpod.yml b/.gitpod.yml index 7e7ad2f5..5a8efb1a 100644 --- a/.gitpod.yml +++ b/.gitpod.yml @@ -1,4 +1,8 @@ --- image: file: .gitpod.dockerfile + +vscode: + extensions: + - nimsaem.nimvscode ...