Add Gitpod to the repo

.gitpod.yml

@@ -0,0 +1,22 @@
+image:
+  file: .gitpod/Dockerfile
+
+tasks:
+  - name: Build
+    init: |
+      ./build.sh -t Build
+
+vscode:
+  extensions:
+    - Ionide.Ionide-fsharp
+    - muhammad-sammy.csharp
+
+github:
+  prebuilds:
+    master: true
+    branches: true
+    pullRequests: true
+    pullRequestsFromForks: true
+    addCheck: false
+    addComment: false
+    addBadge: false

.gitpod/Dockerfile

@@ -0,0 +1,20 @@
+FROM gitpod/workspace-full
+
+USER gitpod
+
+# Install .NET SDK (Current channel)
+# Source: https://docs.microsoft.com/dotnet/core/install/linux-scripted-manual#scripted-install
+RUN mkdir -p /home/gitpod/dotnet && curl -fsSL https://dot.net/v1/dotnet-install.sh | bash /dev/stdin --version 6.0.101 --install-dir /home/gitpod/dotnet
+ENV DOTNET_ROOT=/home/gitpod/dotnet
+ENV PATH=/home/gitpod/dotnet:$PATH
+
+# Remove this hack when the kernel bug is resolved.
+# ref. https://github.com/gitpod-io/gitpod/issues/8901
+RUN bash \
+    && { echo 'if [ ! -z $GITPOD_REPO_ROOT ]; then'; \
+        echo '\tCONTAINER_DIR=$(awk '\''{ print $6 }'\'' /proc/self/maps | grep ^\/run\/containerd | head -n 1 | cut -d '\''/'\'' -f 1-6)'; \
+        echo '\tif [ ! -z $CONTAINER_DIR ]; then'; \
+        echo '\t\t[[ ! -d $CONTAINER_DIR ]] && sudo mkdir -p $CONTAINER_DIR && sudo ln -s / $CONTAINER_DIR/rootfs'; \
+        echo '\tfi'; \
+        echo 'fi'; } >> /home/gitpod/.bashrc.d/110-dotnet
+RUN chmod +x /home/gitpod/.bashrc.d/110-dotnet

README.md

@@ -7,6 +7,7 @@ _Part of the [Ionide](https://ionide.io) plugin suite._ Read detailed documentat
 [![Rating](https://vsmarketplacebadge.apphb.com/rating-star/Ionide.Ionide-fsharp.svg)](https://marketplace.visualstudio.com/items?itemName=Ionide.Ionide-fsharp)
 [![open collective backers](https://img.shields.io/opencollective/backers/ionide.svg?color=blue)](https://opencollective.com/ionide)
 [![open collective sponsors](https://img.shields.io/opencollective/sponsors/ionide.svg?color=blue)](https://opencollective.com/ionide)
+[![Open in Gitpod](https://img.shields.io/badge/Contribute%20with-Gitpod-908a85?logo=gitpod)](https://gitpod.io/#https://github.com/ionide/ionide-vscode-fsharp)
 
 You can support Ionide development on [Open Collective](https://opencollective.com/ionide).