2022-10-19 20:44:13 +00:00
|
|
|
@ECHO off
|
|
|
|
|
2022-11-23 21:01:41 +00:00
|
|
|
pushd "%~dp0"
|
|
|
|
|
2022-11-03 03:09:07 +00:00
|
|
|
where /q git
|
|
|
|
IF ERRORLEVEL 1 (
|
|
|
|
|
2022-11-23 21:01:41 +00:00
|
|
|
SET /P gumpf=You do not seem to have git installed!
|
|
|
|
|
|
|
|
popd
|
|
|
|
|
2022-11-03 03:09:07 +00:00
|
|
|
EXIT /B 1
|
|
|
|
|
|
|
|
)
|
|
|
|
|
2022-10-19 20:44:13 +00:00
|
|
|
git pull
|
|
|
|
|
2022-11-23 21:01:41 +00:00
|
|
|
popd
|
|
|
|
|
2022-10-19 20:44:13 +00:00
|
|
|
SET /P done=Done!
|