Add support for gitpod.io for this repo (#780)

.devcontainer/Dockerfile

@@ -3,8 +3,8 @@
 # Licensed under the MIT License. See https://go.microsoft.com/fwlink/?linkid=2090316 for license information.
 #-------------------------------------------------------------------------------------------------------------
 
-ARG DOTNETCORE_VESRION=3.1
-FROM mcr.microsoft.com/dotnet/core/sdk:${DOTNETCORE_VESRION}
+ARG DOTNETCORE_VESRION=5.0
+FROM mcr.microsoft.com/dotnet/sdk:${DOTNETCORE_VESRION}
 
 # Avoid warnings by switching to noninteractive
 ENV DEBIAN_FRONTEND=noninteractive

.devcontainer/devcontainer.json

@@ -1,7 +1,7 @@
 // For format details, see https://aka.ms/vscode-remote/devcontainer.json or the definition README at
 // https://github.com/microsoft/vscode-dev-containers/tree/master/containers/dotnetcore-3.0-fsharp
 {
-	"name": "F# (.NET Core 3.1)",
+	"name": "F# (.NET Core 5.0)",
 	"dockerFile": "Dockerfile",
   "settings": {
 		"terminal.integrated.shell.linux": "/bin/bash",

.gitpod.yml

@@ -0,0 +1,10 @@
+image:
+  file: .devcontainer/Dockerfile
+
+# List the start up tasks. You can start them in parallel in multiple terminals. See https://www.gitpod.io/docs/config-start-tasks/
+tasks:
+  - init: dotnet tool restore && dotnet restore
+
+vscode:
+  extensions:
+    - Ionide.Ionide-fsharp

.vscode/settings.json

@@ -8,5 +8,6 @@
     //otherwise take a lot of time to load proj inside
     //the test directories
     "omnisharp.autoStart": false,
-    "FSharp.minimizeBackgroundParsing": true
+    "FSharp.minimizeBackgroundParsing": true,
+    "FSharp.trace.server": "verbose"
 }

README.md

@@ -27,11 +27,6 @@ FsAutoComplete can run on .NET/mono or .NET Core. We highly recommend using .Net
 
 * .NET Core Sdk (Required: >= 2.1, Recommended: >= 3.0 )
 
-### FSAC .NET (deprecated)
-
-* on windows: [Microsoft Build Tools 2015](https://www.microsoft.com/en-us/download/details.aspx?id=48159)
-* on unix/mac: Required: Mono >= 5.12, Recommended: Mono >= 5.18
-
 
 ## Building and testing
 
@@ -49,6 +44,12 @@ Requirements:
 
 The repository additionally provides DevContainer definition that can be used with VSCode's Remote Containers extension - use it to get stable development environment
 
+### Gitpod.io
+
+This repository is setup to use gitpod for a web-based VSCode-style IDE. Click the button below to begin!
+
+[![Gitpod Ready-to-Code](https://img.shields.io/badge/Gitpod-ready--to--code-blue?logo=gitpod)](https://gitpod.io/#https://github.com/fsharp/fsautocomplete)
+
 ## Communication protocol
 
 FsAutoComplete supports [LSP](https://microsoft.github.io/language-server-protocol/) as a communication protocol.

global.json

@@ -1,5 +1,5 @@
 {
     "sdk": {
-        "version": "5.0.100"
+        "version": "5.0.200"
     }
 }