From: AJ ONeal <coolaj86@gmail.com>
Date: Sun, 28 Jun 2020 07:28:42 +0000 (-0600)
Subject: pathman.bat => install.bat
X-Git-Url: https://git.josue.xyz/?a=commitdiff_plain;h=ba4dfba6fa20a808e6851c10d4b6f77cc9a55a66;p=webi-installers%2F.git

pathman.bat => install.bat
---

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?