From 86d848fe45fecd6886abf38154bf3e0db2cc45ea Mon Sep 17 00:00:00 2001
From: tazlin <tazlin.on.github@gmail.com>
Date: Sun, 7 Jan 2024 07:09:47 -0500
Subject: [PATCH] fix: use curl.exe instead of powershell

---
 update-runtime.cmd | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/update-runtime.cmd b/update-runtime.cmd
index 1effd139..fcf087d2 100644
--- a/update-runtime.cmd
+++ b/update-runtime.cmd
@@ -1,5 +1,7 @@
 @echo off
-powershell.exe -File .\download_micromamba.ps1
+:Check if micromamba is already installed
+if exist micromamba.exe goto Isolation
+  curl.exe -L -o micromamba.exe https://github.com/mamba-org/micromamba-releases/releases/$VERSION/download/micromamba-win-64
 
 cd /d "%~dp0"