pathman.bat => install.bat

diff --git a/_webi/webi.bat b/_webi/webi.bat
index 065ba29e39036acd0cdd2c04697ea0d966c2c788..ed56295c89fd2905bcc098b78fad6f19f2554539 100644 (file)
--- 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?