diff --git a/.paket/paket.bootstrapper.exe b/.paket/paket.bootstrapper.exe deleted file mode 100644 index 64fdf24..0000000 Binary files a/.paket/paket.bootstrapper.exe and /dev/null differ diff --git a/paket.cmd b/paket.cmd deleted file mode 100644 index 6b809d7..0000000 --- a/paket.cmd +++ /dev/null @@ -1,14 +0,0 @@ -@echo off -setlocal - -set PAKET_VERSION=3.21.4 - -.paket\paket.bootstrapper.exe -s %PAKET_VERSION% -if errorlevel 1 ( - exit /b %errorlevel% -) - -.paket\paket.exe %* -if errorlevel 1 ( - exit /b %errorlevel% -) diff --git a/paket.exe b/paket.exe new file mode 100644 index 0000000..67804e2 Binary files /dev/null and b/paket.exe differ diff --git a/paket.exe.config b/paket.exe.config new file mode 100644 index 0000000..2453fa9 --- /dev/null +++ b/paket.exe.config @@ -0,0 +1,6 @@ + + + + + + diff --git a/paket.sh b/paket.sh index 017d584..412957a 100755 --- a/paket.sh +++ b/paket.sh @@ -1,8 +1,3 @@ #!/bin/bash - -PAKET_VERSION=3.21.4 - function dotnet { if test "$OS" = "Windows_NT"; then $@; else mono $@; fi } - -dotnet .paket/paket.bootstrapper.exe -s $PAKET_VERSION || { exit $?; } -dotnet .paket/paket.exe $@ +dotnet paket.exe $@