update: updated PyCS to 3.13.5

Isaiah Noel Salazar · Isaiah Noel Salazar · commit 2483bd6b1206 · 2025-10-21T19:57:06.000+08:00
diff --git a/CSSimpleFunctions.csproj b/CSSimpleFunctions.csproj
@@ -22,7 +22,7 @@
   <!--</ItemGroup>-->
 
   <ItemGroup>
-    <EmbeddedResource Include="python-3.12.9-embed-win32.zip" />
+    <EmbeddedResource Include="python-3.13.5-embed-amd64.zip" />
     <EmbeddedResource Include="sitecustomize.py" />
   </ItemGroup>
 
diff --git a/PyCS.cs b/PyCS.cs
@@ -30,33 +30,33 @@ public PyCS(bool console)
         void CreatePython()
         {
             AllowTLS12();
-            if (!File.Exists("python-3.12.9-embed-win32.zip"))
+            if (!File.Exists("python-3.13.5-embed-amd64.zip"))
             {
                 if (console)
                 {
-                    Console.WriteLine("Creating Python 3.12 resources...");
+                    Console.WriteLine("Creating Python 3.13 resources...");
                 }
                 try
                 {
-                    FileStream zip = File.Create("python-3.12.9-embed-win32.zip");
-                    Assembly.GetExecutingAssembly().GetManifestResourceStream("CSSimpleFunctions.python-3.12.9-embed-win32.zip").CopyTo(zip);
+                    FileStream zip = File.Create("python-3.13.5-embed-amd64.zip");
+                    Assembly.GetExecutingAssembly().GetManifestResourceStream("CSSimpleFunctions.python-3.13.5-embed-amd64.zip").CopyTo(zip);
                     zip.Close();
                 }
                 catch
                 {
-                    Console.WriteLine("Failed to create Python 3.12 resources.");
+                    Console.WriteLine("Failed to create Python 3.13 resources.");
                 }
             }
             else
             {
                 if (console)
                 {
-                    Console.WriteLine("Python 3.12 resources already created.");
+                    Console.WriteLine("Python 3.13 resources already created.");
                 }
             }
             try
             {
-                using (File.OpenRead("python-3.12.9-embed-win32.zip"))
+                using (File.OpenRead("python-3.13.5-embed-amd64.zip"))
                 {
                     exist1 = true;
                 }
@@ -66,46 +66,46 @@ void CreatePython()
             }
             if (exist1)
             {
-                if (!Directory.Exists("python3_12\\python312"))
+                if (!Directory.Exists("python3_13\\python313"))
                 {
                     if (console)
                     {
-                        Console.WriteLine("Extracting Python 3.12 resources...");
+                        Console.WriteLine("Extracting Python 3.13 resources...");
                     }
                     try
                     {
-                        Directory.CreateDirectory("python3_12");
-                        string zipPath = "python-3.12.9-embed-win32.zip";
-                        string extractPath = "python3_12";
+                        Directory.CreateDirectory("python3_13");
+                        string zipPath = "python-3.13.5-embed-amd64.zip";
+                        string extractPath = "python3_13";
                         ZipFile.ExtractToDirectory(zipPath, extractPath);
 
-                        using (FileStream fs = File.OpenWrite("python3_12\\python312._pth"))
+                        using (FileStream fs = File.OpenWrite("python3_13\\python3_13._pth"))
                         {
-                            string toWrite = "python312.zip\r\n.\r\n\r\n# Uncomment to run site.main() automatically\r\nimport site\r\n";
+                            string toWrite = "python313.zip\r\n.\r\n\r\n# Uncomment to run site.main() automatically\r\nimport site\r\n";
                             fs.Write(Encoding.UTF8.GetBytes(toWrite), 0, Encoding.UTF8.GetBytes(toWrite).Length);
                         }
 
-                        string zipPath1 = "python3_12\\python312.zip";
-                        string extractPath1 = "python3_12\\python312";
+                        string zipPath1 = "python3_13\\python313.zip";
+                        string extractPath1 = "python3_13\\python313";
                         ZipFile.ExtractToDirectory(zipPath1, extractPath1);
 
-                        FileStream sitecustomize = File.Create("python3_12\\sitecustomize.py");
+                        FileStream sitecustomize = File.Create("python3_13\\sitecustomize.py");
                         Assembly.GetExecutingAssembly().GetManifestResourceStream("CSSimpleFunctions.sitecustomize.py").CopyTo(sitecustomize);
                         sitecustomize.Close();
                     }
                     catch
                     {
                         if (console)
                         {
-                            Console.WriteLine("Failed to extract Python 3.12 resources.");
+                            Console.WriteLine("Failed to extract Python 3.13 resources.");
                         }
                     }
                 }
                 else
                 {
                     if (console)
                     {
-                        Console.WriteLine("Python 3.12 resources already extracted.");
+                        Console.WriteLine("Python 3.13 resources already extracted.");
                     }
                 }
             }
@@ -115,7 +115,7 @@ public void InstallPip()
         {
             try
             {
-                if (!File.Exists("python3_12\\get-pip.py"))
+                if (!File.Exists("python3_13\\get-pip.py"))
                 {
                     if (console)
                     {
@@ -125,7 +125,7 @@ public void InstallPip()
                     var res = webReq.GetResponse();
                     var content = res.GetResponseStream();
 
-                    using (var fileStream = File.Create("python3_12\\get-pip.py"))
+                    using (var fileStream = File.Create("python3_13\\get-pip.py"))
                     {
                         content.CopyTo(fileStream);
                     }
@@ -144,7 +144,7 @@ public void InstallPip()
             }
             try
             {
-                using (File.OpenRead("python3_12\\get-pip.py"))
+                using (File.OpenRead("python3_13\\get-pip.py"))
                 {
                     exist2 = true;
                 }
@@ -154,7 +154,7 @@ public void InstallPip()
             }
             try
             {
-                using (File.OpenRead("python3_12\\sitecustomize.py"))
+                using (File.OpenRead("python3_13\\sitecustomize.py"))
                 {
                     exist3 = true;
                 }
@@ -164,8 +164,8 @@ public void InstallPip()
             }
             if (exist2 && exist3)
             {
-                if (!Directory.Exists("python3_12\\Lib") || !Directory.Exists("python3_12\\Scripts") ||
-                    !File.Exists("python3_12\\Scripts\\pip.exe") || !File.Exists("python3_12\\Scripts\\pip3.12.exe") || !File.Exists("python3_12\\Scripts\\pip3.exe"))
+                if (!Directory.Exists("python3_13\\Lib") || !Directory.Exists("python3_13\\Scripts") ||
+                    !File.Exists("python3_13\\Scripts\\pip.exe") || !File.Exists("python3_13\\Scripts\\pip3.13.exe") || !File.Exists("python3_13\\Scripts\\pip3.exe"))
                 {
                     if (console)
                     {
@@ -174,8 +174,8 @@ public void InstallPip()
                     try
                     {
                         ProcessStartInfo run0 = new ProcessStartInfo();
-                        run0.FileName = "python3_12\\python.exe";
-                        run0.Arguments = "python3_12\\get-pip.py";
+                        run0.FileName = "python3_13\\python.exe";
+                        run0.Arguments = "python3_13\\get-pip.py";
                         run0.UseShellExecute = false;
                         run0.RedirectStandardOutput = true;
                         run0.CreateNoWindow = true;
@@ -213,7 +213,7 @@ public void InstallPip()
         public void Pip(string[] args)
         {
             ProcessStartInfo run0 = new ProcessStartInfo();
-            run0.FileName = "python3_12\\Scripts\\pip.exe";
+            run0.FileName = "python3_13\\Scripts\\pip.exe";
             run0.Arguments = "install " + string.Join(" ", args);
             run0.UseShellExecute = false;
             run0.RedirectStandardOutput = true;
@@ -233,7 +233,7 @@ public void Pip(string[] args)
         public void PipUpgrade(string[] args)
         {
             ProcessStartInfo run0 = new ProcessStartInfo();
-            run0.FileName = "python3_12\\Scripts\\pip.exe";
+            run0.FileName = "python3_13\\Scripts\\pip.exe";
             run0.Arguments = "install --upgrade " + string.Join(" ", args);
             run0.UseShellExecute = false;
             run0.RedirectStandardOutput = true;
@@ -253,7 +253,7 @@ public void PipUpgrade(string[] args)
         public void PipLocal(string[] args)
         {
             ProcessStartInfo run0 = new ProcessStartInfo();
-            run0.FileName = "python3_12\\Scripts\\pip.exe";
+            run0.FileName = "python3_13\\Scripts\\pip.exe";
             run0.Arguments = "install " + string.Join(" ", args) + " --no-index --find-links /";
             run0.UseShellExecute = false;
             run0.RedirectStandardOutput = true;
@@ -272,12 +272,12 @@ public void PipLocal(string[] args)
 
         public void Run(string script)
         {
-            File.Create("python3_12\\main.py").Close();
-            File.WriteAllText("python3_12\\main.py", script);
+            File.Create("python3_13\\main.py").Close();
+            File.WriteAllText("python3_13\\main.py", script);
 
             ProcessStartInfo run0 = new ProcessStartInfo();
-            run0.FileName = "python3_12\\python.exe";
-            run0.Arguments = "python3_12\\main.py";
+            run0.FileName = "python3_13\\python.exe";
+            run0.Arguments = "python3_13\\main.py";
             run0.UseShellExecute = false;
             run0.RedirectStandardOutput = true;
             using (Process process = Process.Start(run0))
@@ -293,7 +293,7 @@ public void Run(string script)
         public void RunFile(string filePath)
         {
             ProcessStartInfo run0 = new ProcessStartInfo();
-            run0.FileName = "python3_12\\python.exe";
+            run0.FileName = "python3_13\\python.exe";
             run0.Arguments = filePath;
             run0.UseShellExecute = false;
             run0.RedirectStandardOutput = true;
@@ -309,12 +309,12 @@ public void RunFile(string filePath)
 
         public string GetOutput(string script)
         {
-            File.Create("python3_12\\main.py").Close();
-            File.WriteAllText("python3_12\\main.py", script);
+            File.Create("python3_13\\main.py").Close();
+            File.WriteAllText("python3_13\\main.py", script);
 
             ProcessStartInfo run0 = new ProcessStartInfo();
-            run0.FileName = "python3_12\\python.exe";
-            run0.Arguments = "python3_12\\main.py";
+            run0.FileName = "python3_13\\python.exe";
+            run0.Arguments = "python3_13\\main.py";
             run0.UseShellExecute = false;
             run0.RedirectStandardOutput = true;
             using (Process process = Process.Start(run0))
@@ -330,7 +330,7 @@ public string GetOutput(string script)
         public string GetFileOutput(string filePath)
         {
             ProcessStartInfo run0 = new ProcessStartInfo();
-            run0.FileName = "python3_12\\python.exe";
+            run0.FileName = "python3_13\\python.exe";
             run0.Arguments = filePath;
             run0.UseShellExecute = false;
             run0.RedirectStandardOutput = true;
diff --git a/python-3.13.5-embed-amd64.zip b/python-3.13.5-embed-amd64.zip

Original file line number	Diff line number	Diff line change
`@@ -30,33 +30,33 @@ public PyCS(bool console)`
`30`	`30`	`void CreatePython()`
`31`	`31`	`{`
`32`	`32`	`AllowTLS12();`
`33`		`- if (!File.Exists("python-3.12.9-embed-win32.zip"))`
	`33`	`+ if (!File.Exists("python-3.13.5-embed-amd64.zip"))`
`34`	`34`	`{`
`35`	`35`	`if (console)`
`36`	`36`	`{`
`37`		`- Console.WriteLine("Creating Python 3.12 resources...");`
	`37`	`+ Console.WriteLine("Creating Python 3.13 resources...");`
`38`	`38`	`}`
`39`	`39`	`try`
`40`	`40`	`{`
`41`		`- FileStream zip = File.Create("python-3.12.9-embed-win32.zip");`
`42`		`- Assembly.GetExecutingAssembly().GetManifestResourceStream("CSSimpleFunctions.python-3.12.9-embed-win32.zip").CopyTo(zip);`
	`41`	`+ FileStream zip = File.Create("python-3.13.5-embed-amd64.zip");`
	`42`	`+ Assembly.GetExecutingAssembly().GetManifestResourceStream("CSSimpleFunctions.python-3.13.5-embed-amd64.zip").CopyTo(zip);`
`43`	`43`	`zip.Close();`
`44`	`44`	`}`
`45`	`45`	`catch`
`46`	`46`	`{`
`47`		`- Console.WriteLine("Failed to create Python 3.12 resources.");`
	`47`	`+ Console.WriteLine("Failed to create Python 3.13 resources.");`
`48`	`48`	`}`
`49`	`49`	`}`
`50`	`50`	`else`
`51`	`51`	`{`
`52`	`52`	`if (console)`
`53`	`53`	`{`
`54`		`- Console.WriteLine("Python 3.12 resources already created.");`
	`54`	`+ Console.WriteLine("Python 3.13 resources already created.");`
`55`	`55`	`}`
`56`	`56`	`}`
`57`	`57`	`try`
`58`	`58`	`{`
`59`		`- using (File.OpenRead("python-3.12.9-embed-win32.zip"))`
	`59`	`+ using (File.OpenRead("python-3.13.5-embed-amd64.zip"))`
`60`	`60`	`{`
`61`	`61`	`exist1 = true;`
`62`	`62`	`}`
`@@ -66,46 +66,46 @@ void CreatePython()`
`66`	`66`	`}`
`67`	`67`	`if (exist1)`
`68`	`68`	`{`
`69`		`- if (!Directory.Exists("python3_12\\python312"))`
	`69`	`+ if (!Directory.Exists("python3_13\\python313"))`
`70`	`70`	`{`
`71`	`71`	`if (console)`
`72`	`72`	`{`
`73`		`- Console.WriteLine("Extracting Python 3.12 resources...");`
	`73`	`+ Console.WriteLine("Extracting Python 3.13 resources...");`
`74`	`74`	`}`
`75`	`75`	`try`
`76`	`76`	`{`
`77`		`- Directory.CreateDirectory("python3_12");`
`78`		`- string zipPath = "python-3.12.9-embed-win32.zip";`
`79`		`- string extractPath = "python3_12";`
	`77`	`+ Directory.CreateDirectory("python3_13");`
	`78`	`+ string zipPath = "python-3.13.5-embed-amd64.zip";`
	`79`	`+ string extractPath = "python3_13";`
`80`	`80`	`ZipFile.ExtractToDirectory(zipPath, extractPath);`
`81`	`81`
`82`		`- using (FileStream fs = File.OpenWrite("python3_12\\python312._pth"))`
	`82`	`+ using (FileStream fs = File.OpenWrite("python3_13\\python3_13._pth"))`
`83`	`83`	`{`
`84`		`- string toWrite = "python312.zip\r\n.\r\n\r\n# Uncomment to run site.main() automatically\r\nimport site\r\n";`
	`84`	`+ string toWrite = "python313.zip\r\n.\r\n\r\n# Uncomment to run site.main() automatically\r\nimport site\r\n";`
`85`	`85`	`fs.Write(Encoding.UTF8.GetBytes(toWrite), 0, Encoding.UTF8.GetBytes(toWrite).Length);`
`86`	`86`	`}`
`87`	`87`
`88`		`- string zipPath1 = "python3_12\\python312.zip";`
`89`		`- string extractPath1 = "python3_12\\python312";`
	`88`	`+ string zipPath1 = "python3_13\\python313.zip";`
	`89`	`+ string extractPath1 = "python3_13\\python313";`
`90`	`90`	`ZipFile.ExtractToDirectory(zipPath1, extractPath1);`
`91`	`91`
`92`		`- FileStream sitecustomize = File.Create("python3_12\\sitecustomize.py");`
	`92`	`+ FileStream sitecustomize = File.Create("python3_13\\sitecustomize.py");`
`93`	`93`	`Assembly.GetExecutingAssembly().GetManifestResourceStream("CSSimpleFunctions.sitecustomize.py").CopyTo(sitecustomize);`
`94`	`94`	`sitecustomize.Close();`
`95`	`95`	`}`
`96`	`96`	`catch`
`97`	`97`	`{`
`98`	`98`	`if (console)`
`99`	`99`	`{`
`100`		`- Console.WriteLine("Failed to extract Python 3.12 resources.");`
	`100`	`+ Console.WriteLine("Failed to extract Python 3.13 resources.");`
`101`	`101`	`}`
`102`	`102`	`}`
`103`	`103`	`}`
`104`	`104`	`else`
`105`	`105`	`{`
`106`	`106`	`if (console)`
`107`	`107`	`{`
`108`		`- Console.WriteLine("Python 3.12 resources already extracted.");`
	`108`	`+ Console.WriteLine("Python 3.13 resources already extracted.");`
`109`	`109`	`}`
`110`	`110`	`}`
`111`	`111`	`}`
`@@ -115,7 +115,7 @@ public void InstallPip()`
`115`	`115`	`{`
`116`	`116`	`try`
`117`	`117`	`{`
`118`		`- if (!File.Exists("python3_12\\get-pip.py"))`
	`118`	`+ if (!File.Exists("python3_13\\get-pip.py"))`
`119`	`119`	`{`
`120`	`120`	`if (console)`
`121`	`121`	`{`
`@@ -125,7 +125,7 @@ public void InstallPip()`
`125`	`125`	`var res = webReq.GetResponse();`
`126`	`126`	`var content = res.GetResponseStream();`
`127`	`127`
`128`		`- using (var fileStream = File.Create("python3_12\\get-pip.py"))`
	`128`	`+ using (var fileStream = File.Create("python3_13\\get-pip.py"))`
`129`	`129`	`{`
`130`	`130`	`content.CopyTo(fileStream);`
`131`	`131`	`}`
`@@ -144,7 +144,7 @@ public void InstallPip()`
`144`	`144`	`}`
`145`	`145`	`try`
`146`	`146`	`{`
`147`		`- using (File.OpenRead("python3_12\\get-pip.py"))`
	`147`	`+ using (File.OpenRead("python3_13\\get-pip.py"))`
`148`	`148`	`{`
`149`	`149`	`exist2 = true;`
`150`	`150`	`}`
`@@ -154,7 +154,7 @@ public void InstallPip()`
`154`	`154`	`}`
`155`	`155`	`try`
`156`	`156`	`{`
`157`		`- using (File.OpenRead("python3_12\\sitecustomize.py"))`
	`157`	`+ using (File.OpenRead("python3_13\\sitecustomize.py"))`
`158`	`158`	`{`
`159`	`159`	`exist3 = true;`
`160`	`160`	`}`
`@@ -164,8 +164,8 @@ public void InstallPip()`
`164`	`164`	`}`
`165`	`165`	`if (exist2 && exist3)`
`166`	`166`	`{`
`167`		`- if (!Directory.Exists("python3_12\\Lib") \|\| !Directory.Exists("python3_12\\Scripts") \|\|`
`168`		`- !File.Exists("python3_12\\Scripts\\pip.exe") \|\| !File.Exists("python3_12\\Scripts\\pip3.12.exe") \|\| !File.Exists("python3_12\\Scripts\\pip3.exe"))`
	`167`	`+ if (!Directory.Exists("python3_13\\Lib") \|\| !Directory.Exists("python3_13\\Scripts") \|\|`
	`168`	`+ !File.Exists("python3_13\\Scripts\\pip.exe") \|\| !File.Exists("python3_13\\Scripts\\pip3.13.exe") \|\| !File.Exists("python3_13\\Scripts\\pip3.exe"))`
`169`	`169`	`{`
`170`	`170`	`if (console)`
`171`	`171`	`{`
`@@ -174,8 +174,8 @@ public void InstallPip()`
`174`	`174`	`try`
`175`	`175`	`{`
`176`	`176`	`ProcessStartInfo run0 = new ProcessStartInfo();`
`177`		`- run0.FileName = "python3_12\\python.exe";`
`178`		`- run0.Arguments = "python3_12\\get-pip.py";`
	`177`	`+ run0.FileName = "python3_13\\python.exe";`
	`178`	`+ run0.Arguments = "python3_13\\get-pip.py";`
`179`	`179`	`run0.UseShellExecute = false;`
`180`	`180`	`run0.RedirectStandardOutput = true;`
`181`	`181`	`run0.CreateNoWindow = true;`
`@@ -213,7 +213,7 @@ public void InstallPip()`
`213`	`213`	`public void Pip(string[] args)`
`214`	`214`	`{`
`215`	`215`	`ProcessStartInfo run0 = new ProcessStartInfo();`
`216`		`- run0.FileName = "python3_12\\Scripts\\pip.exe";`
	`216`	`+ run0.FileName = "python3_13\\Scripts\\pip.exe";`
`217`	`217`	`run0.Arguments = "install " + string.Join(" ", args);`
`218`	`218`	`run0.UseShellExecute = false;`
`219`	`219`	`run0.RedirectStandardOutput = true;`
`@@ -233,7 +233,7 @@ public void Pip(string[] args)`
`233`	`233`	`public void PipUpgrade(string[] args)`
`234`	`234`	`{`
`235`	`235`	`ProcessStartInfo run0 = new ProcessStartInfo();`
`236`		`- run0.FileName = "python3_12\\Scripts\\pip.exe";`
	`236`	`+ run0.FileName = "python3_13\\Scripts\\pip.exe";`
`237`	`237`	`run0.Arguments = "install --upgrade " + string.Join(" ", args);`
`238`	`238`	`run0.UseShellExecute = false;`
`239`	`239`	`run0.RedirectStandardOutput = true;`
`@@ -253,7 +253,7 @@ public void PipUpgrade(string[] args)`
`253`	`253`	`public void PipLocal(string[] args)`
`254`	`254`	`{`
`255`	`255`	`ProcessStartInfo run0 = new ProcessStartInfo();`
`256`		`- run0.FileName = "python3_12\\Scripts\\pip.exe";`
	`256`	`+ run0.FileName = "python3_13\\Scripts\\pip.exe";`
`257`	`257`	`run0.Arguments = "install " + string.Join(" ", args) + " --no-index --find-links /";`
`258`	`258`	`run0.UseShellExecute = false;`
`259`	`259`	`run0.RedirectStandardOutput = true;`
`@@ -272,12 +272,12 @@ public void PipLocal(string[] args)`
`272`	`272`
`273`	`273`	`public void Run(string script)`
`274`	`274`	`{`
`275`		`- File.Create("python3_12\\main.py").Close();`
`276`		`- File.WriteAllText("python3_12\\main.py", script);`
	`275`	`+ File.Create("python3_13\\main.py").Close();`
	`276`	`+ File.WriteAllText("python3_13\\main.py", script);`
`277`	`277`
`278`	`278`	`ProcessStartInfo run0 = new ProcessStartInfo();`
`279`		`- run0.FileName = "python3_12\\python.exe";`
`280`		`- run0.Arguments = "python3_12\\main.py";`
	`279`	`+ run0.FileName = "python3_13\\python.exe";`
	`280`	`+ run0.Arguments = "python3_13\\main.py";`
`281`	`281`	`run0.UseShellExecute = false;`
`282`	`282`	`run0.RedirectStandardOutput = true;`
`283`	`283`	`using (Process process = Process.Start(run0))`
`@@ -293,7 +293,7 @@ public void Run(string script)`
`293`	`293`	`public void RunFile(string filePath)`
`294`	`294`	`{`
`295`	`295`	`ProcessStartInfo run0 = new ProcessStartInfo();`
`296`		`- run0.FileName = "python3_12\\python.exe";`
	`296`	`+ run0.FileName = "python3_13\\python.exe";`
`297`	`297`	`run0.Arguments = filePath;`
`298`	`298`	`run0.UseShellExecute = false;`
`299`	`299`	`run0.RedirectStandardOutput = true;`
`@@ -309,12 +309,12 @@ public void RunFile(string filePath)`
`309`	`309`
`310`	`310`	`public string GetOutput(string script)`
`311`	`311`	`{`
`312`		`- File.Create("python3_12\\main.py").Close();`
`313`		`- File.WriteAllText("python3_12\\main.py", script);`
	`312`	`+ File.Create("python3_13\\main.py").Close();`
	`313`	`+ File.WriteAllText("python3_13\\main.py", script);`
`314`	`314`
`315`	`315`	`ProcessStartInfo run0 = new ProcessStartInfo();`
`316`		`- run0.FileName = "python3_12\\python.exe";`
`317`		`- run0.Arguments = "python3_12\\main.py";`
	`316`	`+ run0.FileName = "python3_13\\python.exe";`
	`317`	`+ run0.Arguments = "python3_13\\main.py";`
`318`	`318`	`run0.UseShellExecute = false;`
`319`	`319`	`run0.RedirectStandardOutput = true;`
`320`	`320`	`using (Process process = Process.Start(run0))`
`@@ -330,7 +330,7 @@ public string GetOutput(string script)`
`330`	`330`	`public string GetFileOutput(string filePath)`
`331`	`331`	`{`
`332`	`332`	`ProcessStartInfo run0 = new ProcessStartInfo();`
`333`		`- run0.FileName = "python3_12\\python.exe";`
	`333`	`+ run0.FileName = "python3_13\\python.exe";`
`334`	`334`	`run0.Arguments = filePath;`
`335`	`335`	`run0.UseShellExecute = false;`
`336`	`336`	`run0.RedirectStandardOutput = true;`