From bff84ae8d564e35690aaecc8c9aa4d258ff0506e Mon Sep 17 00:00:00 2001 From: Robert Went Date: Tue, 18 Nov 2014 16:45:22 +0000 Subject: [PATCH] makes cli commands available on windows machines from site root --- gpm.bat | 11 +++++++++++ grav.bat | 11 +++++++++++ 2 files changed, 22 insertions(+) create mode 100644 gpm.bat create mode 100644 grav.bat diff --git a/gpm.bat b/gpm.bat new file mode 100644 index 000000000..c9e6c8b83 --- /dev/null +++ b/gpm.bat @@ -0,0 +1,11 @@ +@echo off + +@setlocal + +set GPM_PATH=bin/ + +if "%PHP_COMMAND%" == "" set PHP_COMMAND=php.exe + +"%PHP_COMMAND%" "%GPM_PATH%gpm" %* + +@endlocal diff --git a/grav.bat b/grav.bat new file mode 100644 index 000000000..fad46af47 --- /dev/null +++ b/grav.bat @@ -0,0 +1,11 @@ +@echo off + +@setlocal + +set GRAV_PATH=bin/ + +if "%PHP_COMMAND%" == "" set PHP_COMMAND=php.exe + +"%PHP_COMMAND%" "%GRAV_PATH%grav" %* + +@endlocal