1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
|
:: Use pushd, so we can popd back at the end (directory changes are not contained inside batch file)
PUSHD C:\Windows\Temp
@echo off
:: Determine unique git repo name
:: We use Python to determine to get a datetime stamp since other workarounds in BATCH are locale dependent
:: Note that we double escape the % in the format string to %%
FOR /F "tokens=* USEBACKQ" %%F IN (`python -c "import datetime; print(datetime.datetime.now().strftime('%%Y-%%m-%%d_%%H-%%M-%%S'))"`) DO (
SET datetime=%%F
)
echo %datetime%
set Reponame=gitlint-test-%datetime%
echo %Reponame%
:: Create git repo
git init --initial-branch main %Reponame%
cd %Reponame%
:: Do some basic config
git config user.name gïtlint-test-user
git config user.email gitlint@test.com
git config core.quotePath false
git config core.precomposeUnicode true
:: Add a test commit
echo "tëst 123" > test.txt
git add test.txt
git commit -m "test cömmit title" -m "test cömmit body that has a bit more text"
:: echo. -> the dot allows us to print an empty line
echo.
echo Created C:\Windows\Temp\%Reponame%
:: Move back to original dir
POPD
|
