From 5b9b369455096e61313bc1a6927fd014b388546d Mon Sep 17 00:00:00 2001 From: Yuhui Huang Date: Mon, 2 Nov 2020 11:05:03 +0000 Subject: [PATCH] Fully automate dev setup with Gitpod This commit implements a fully-automated development setup using Gitpod.io, an online IDE for GitHub and GitLab that enables Dev-Environments-As-Code. This makes it easy for anyone to get a ready-to-code workspace for any branch, issue or pull request almost instantly with a single click. --- .gitignore | 3 +++ .gitpod.Dockerfile | 8 ++++++++ .gitpod.yml | 2 ++ 3 files changed, 13 insertions(+) create mode 100644 .gitpod.Dockerfile create mode 100644 .gitpod.yml diff --git a/.gitignore b/.gitignore index b7d7ac33..9dcd35d0 100644 --- a/.gitignore +++ b/.gitignore @@ -9,5 +9,8 @@ /*.iws /*.iml +# Gitpod files +!.gitpod.* + # Repository wide ignore mac DS_Store files .DS_Store diff --git a/.gitpod.Dockerfile b/.gitpod.Dockerfile new file mode 100644 index 00000000..93a6eaff --- /dev/null +++ b/.gitpod.Dockerfile @@ -0,0 +1,8 @@ +FROM gitpod/workspace-full + +USER gitpod + +RUN bash -c ". /home/gitpod/.sdkman/bin/sdkman-init.sh \ + && echo Y | sdk install java 9.0.7-zulu \ + && sdk flush archives \ + && sdk flush temp" diff --git a/.gitpod.yml b/.gitpod.yml new file mode 100644 index 00000000..527c76d3 --- /dev/null +++ b/.gitpod.yml @@ -0,0 +1,2 @@ +image: + file: .gitpod.Dockerfile