diff --git a/.devcontainer/Dockerfile b/.devcontainer/Dockerfile index bf8194c..66371a0 100644 --- a/.devcontainer/Dockerfile +++ b/.devcontainer/Dockerfile @@ -3,7 +3,7 @@ # Licensed under the MIT License. See https://go.microsoft.com/fwlink/?linkid=2090316 for license information. #------------------------------------------------------------------------------------------------------------- -FROM mcr.microsoft.com/dotnet/sdk:5.0-focal +FROM mcr.microsoft.com/dotnet/sdk:7.0 # Avoid warnings by switching to noninteractive ENV DEBIAN_FRONTEND=noninteractive diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json index 8de3cd4..cb9c4ff 100644 --- a/.devcontainer/devcontainer.json +++ b/.devcontainer/devcontainer.json @@ -1,5 +1,5 @@ { - "name": "F# (.NET 5.0)", + "name": "F# (.NET 7.0)", "dockerFile": "Dockerfile", // Set *default* container specific settings.json values on container create. @@ -12,7 +12,12 @@ // Add the IDs of extensions you want installed when the container is created. "extensions": [ "Ionide.Ionide-fsharp", - "muhammad-sammy.csharp" + "muhammad-sammy.csharp", + "formulahendry.code-runner", + "GitHub.copilot", + "ms-dotnettools.dotnet-interactive-vscode", + "zhuangtongfa.material-theme", + "PKief.material-icon-theme" ], // Use 'forwardPorts' to make a list of ports inside the container available locally. diff --git a/Playgroud.dib b/Playgroud.dib new file mode 100644 index 0000000..27adb40 --- /dev/null +++ b/Playgroud.dib @@ -0,0 +1,7 @@ +#!meta + +{"kernelInfo":{"defaultKernelName":"fsharp","items":[{"aliases":[],"name":"fsharp"}]}} + +#!fsharp + +printfn "Hello World from F#!" diff --git a/playground.fsproj b/playground.fsproj index 4e0f678..299cf40 100644 --- a/playground.fsproj +++ b/playground.fsproj @@ -2,7 +2,7 @@ Exe - net5.0 + net7.0