From ba4dfba6fa20a808e6851c10d4b6f77cc9a55a66 Mon Sep 17 00:00:00 2001 From: AJ ONeal Date: Sun, 28 Jun 2020 01:28:42 -0600 Subject: [PATCH] pathman.bat => install.bat --- _webi/webi.bat | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/_webi/webi.bat b/_webi/webi.bat index 065ba29..ed56295 100644 --- a/_webi/webi.bat +++ b/_webi/webi.bat @@ -13,7 +13,7 @@ pushd "%userprofile%" || goto :error pushd .local\bin || goto :error if NOT EXIST pathman.exe ( echo updating PATH management - powershell $ProgressPreference = 'SilentlyContinue'; Invoke-WebRequest https://webinstall.dev/packages/pathman/pathman.bat -OutFile pathman-setup.bat || goto :error + powershell $ProgressPreference = 'SilentlyContinue'; Invoke-WebRequest https://webinstall.dev/packages/pathman/install.bat -OutFile pathman-setup.bat || goto :error call .\pathman-setup.bat || goto :error del pathman-setup.bat || goto :error rem TODO there's rumor of a windows tool called 'pathman' that does the same thing? -- 2.25.1