Update remote dev files (#284)

* Update remote dev files

* Remove direct DLL reference

.devcontainer/Dockerfile

@@ -9,6 +9,9 @@ RUN apt update && apt -y install --no-install-recommends --no-install-suggests \
  && rm -rf /var/lib/apt/lists/*
 
 RUN groupadd -g 1000 dev \
- && useradd -g 1000 -u 1000 -m -s /bin/bash dev
+ && useradd -g 1000 -u 1000 -m -s /bin/bash dev \
+ && mkdir -p /home/dev/.vscode-server/extensions \
+ && mkdir -p /home/dev/.vscode-server/extensionsCache \
+ && chown -R dev:dev /home/dev
 
 USER dev

.devcontainer/devcontainer.json

@@ -1,19 +1,15 @@
 {
-  "dockerFile": "Dockerfile",
+  "dockerComposeFile": "docker-compose.yml",
+  "postAttachCommand": "rm -rf .ionide",
+  "service": "dev",
+  "workspaceFolder": "/workspace",
+
   "extensions": [
-    "ionide.ionide-fsharp"
+    "editorconfig.editorconfig",
+    "ionide.ionide-fsharp@4.17.0"
   ],
-  "settings": {
-    "[csharp]": {
-      "editor.useTabStops": false,
-      "editor.tabSize": 4
-    },
-
-    "[fsharp]": {
-      "editor.useTabStops": false,
-      "editor.tabSize": 4
-    },
 
+  "settings": {
     "FSharp.useSdkScripts": true
   }
 }

.devcontainer/docker-compose.yml

@@ -0,0 +1,14 @@
+version: '3.0'
+services:
+  dev:
+    build: .
+    command: sleep infinity
+    volumes:
+      - ..:/workspace
+      - vscode-extensions:/home/dev/.vscode-server/extensions
+      - vscode-extensions-cache:/home/dev/.vscode-server/extensionsCache
+
+# Persist extensions to prevent downloading again after a rebuild.
+volumes:
+  vscode-extensions:
+  vscode-extensions-cache: