From 0c4bd51b1ab817f4bc3daa057557a4f0f844f14b Mon Sep 17 00:00:00 2001 From: rabix Date: Tue, 22 Mar 2022 17:42:13 +0800 Subject: [PATCH] =?UTF-8?q?=E6=9B=B4=E6=96=B0=20'bin/ghci.cmd'?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- bin/ghci.cmd | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/bin/ghci.cmd b/bin/ghci.cmd index 1036864..de2d722 100644 --- a/bin/ghci.cmd +++ b/bin/ghci.cmd @@ -1,4 +1,4 @@ -@echo off -where ghci.exe >nul 2>nul -if errorlevel 1 call v-choco install ghc -y & call %~dp0\v-choco-refreshenv +@echo off +where ghci.exe >nul 2>nul +if errorlevel 1 call choco install ghc -y & call %~dp0\v-choco-refreshenv ghci.exe %* \ No newline at end of file