From ea70111a7f5d444c90202e7e15c8acf974046d43 Mon Sep 17 00:00:00 2001
From: yfbmg <125145436+yfbmg@users.noreply.github.com>
Date: Thu, 15 Jun 2023 14:55:06 +0100
Subject: [PATCH 1/6] Change build base to .Net 7.0

---
 .devcontainer/Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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

From 07b01fe0a3a961ab3c1353db351cbf87bb243709 Mon Sep 17 00:00:00 2001
From: yfbmg <125145436+yfbmg@users.noreply.github.com>
Date: Thu, 15 Jun 2023 15:02:30 +0100
Subject: [PATCH 2/6] Update devcontainer.json

add lots of plugins
---
 .devcontainer/devcontainer.json | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

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.

From 0a54bd36c3b0684dc8f3a5d427bf37ad890b6127 Mon Sep 17 00:00:00 2001
From: yfbmg <125145436+yfbmg@users.noreply.github.com>
Date: Fri, 16 Jun 2023 11:14:57 +0000
Subject: [PATCH 3/6] Changes to be committed: 	new file:   Playgroud.dib

---
 Playgroud.dib | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 Playgroud.dib

diff --git a/Playgroud.dib b/Playgroud.dib
new file mode 100644
index 0000000..d0a1f76
--- /dev/null
+++ b/Playgroud.dib
@@ -0,0 +1,7 @@
+#!meta
+
+{"kernelInfo":{"defaultKernelName":"csharp","items":[{"aliases":[],"name":"csharp"}]}}
+
+#!fsharp
+
+printfn "Hello World from F#!"

From 33d924df4b016b11777c64fa25a89da615873ef5 Mon Sep 17 00:00:00 2001
From: yfbmg <125145436+yfbmg@users.noreply.github.com>
Date: Fri, 16 Jun 2023 12:16:24 +0100
Subject: [PATCH 4/6] Update Playgroud.dib

---
 Playgroud.dib | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Playgroud.dib b/Playgroud.dib
index d0a1f76..27adb40 100644
--- a/Playgroud.dib
+++ b/Playgroud.dib
@@ -1,6 +1,6 @@
 #!meta
 
-{"kernelInfo":{"defaultKernelName":"csharp","items":[{"aliases":[],"name":"csharp"}]}}
+{"kernelInfo":{"defaultKernelName":"fsharp","items":[{"aliases":[],"name":"fsharp"}]}}
 
 #!fsharp
 

From d4461d67538d1d5369028f28021863cc73985446 Mon Sep 17 00:00:00 2001
From: yfbmg <125145436+yfbmg@users.noreply.github.com>
Date: Sun, 9 Jul 2023 12:12:28 +0100
Subject: [PATCH 5/6] Use .Net 7

---
 playground.fsproj | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/playground.fsproj b/playground.fsproj
index 4e0f678..8840820 100644
--- a/playground.fsproj
+++ b/playground.fsproj
@@ -2,7 +2,7 @@
 
   <PropertyGroup>
     <OutputType>Exe</OutputType>
-    <TargetFramework>net5.0</TargetFramework>
+    <TargetFramework>net5=7.0</TargetFramework>
   </PropertyGroup>
 
   <ItemGroup>

From 62efa291c277e0c6d42bb2b865558a5881b66ca3 Mon Sep 17 00:00:00 2001
From: yfbmg <125145436+yfbmg@users.noreply.github.com>
Date: Sun, 9 Jul 2023 12:13:17 +0100
Subject: [PATCH 6/6] Set target framework as .Net 7

---
 playground.fsproj | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/playground.fsproj b/playground.fsproj
index 8840820..299cf40 100644
--- a/playground.fsproj
+++ b/playground.fsproj
@@ -2,7 +2,7 @@
 
   <PropertyGroup>
     <OutputType>Exe</OutputType>
-    <TargetFramework>net5=7.0</TargetFramework>
+    <TargetFramework>net7.0</TargetFramework>
   </PropertyGroup>
 
   <ItemGroup>