diff --git a/.devcontainer/Dockerfile b/.devcontainer/Dockerfile new file mode 100644 index 0000000..64d7734 --- /dev/null +++ b/.devcontainer/Dockerfile @@ -0,0 +1 @@ +FROM node:20 diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json new file mode 100644 index 0000000..7c2c1d7 --- /dev/null +++ b/.devcontainer/devcontainer.json @@ -0,0 +1,11 @@ +{ + "name": "SAFE", + "dockerFile": "Dockerfile", + "appPort": [8080, 8085], + "extensions": [ + "ionide.ionide-fsharp", + "ms-dotnettools.csharp", + "editorconfig.editorconfig", + "msjsdiag.debugger-for-chrome" + ] +} \ No newline at end of file diff --git a/.devcontainer/settings.vscode.json b/.devcontainer/settings.vscode.json new file mode 100644 index 0000000..5b238fa --- /dev/null +++ b/.devcontainer/settings.vscode.json @@ -0,0 +1,3 @@ +{ + "FSharp.fsacRuntime":"netcore" +} \ No newline at end of file