<pkgname>.bat => install.bat

[webi-installers/.git] / pathman / pathman.bat

diff --git a/pathman/pathman.bat b/pathman/pathman.bat
deleted file mode 100644 (file)
index 67ae251..0000000
--- a/pathman/pathman.bat
+++ /dev/null
@@ -1,19 +0,0 @@
-pushd "%userprofile%" || goto :error
-  IF NOT EXIST .local (
-    mkdir .local || goto :error
-  )
-  IF NOT EXIST .local\bin (
-    mkdir .local\bin || goto :error
-  )
-
-  pushd .local\bin || goto :error
-    rem TODO %PROCESSOR_ARCH%
-    powershell $ProgressPreference = 'SilentlyContinue'; Invoke-WebRequest "https://rootprojects.org/pathman/dist/windows/amd64/pathman.exe" -OutFile pathman.exe || goto :error
-  popd || goto :error
-popd
-
-goto :EOF
-
-:error
-echo Failed with error #%errorlevel%.
-exit /b %errorlevel%