Xqt has submitted this change. ( https://gerrit.wikimedia.org/r/c/pywikibot/core/+/911255 )
Change subject: [fix] Fix make.bat file to show duration time ...................................................................... [fix] Fix make.bat file to show duration time STARTTIME and ENDTIME is given without preleading "0". Calculate hours respecting this fact. use "nature" as sample theme Change-Id: Ic298c74c9107a93fba87400278ecd55a8007e66e --- M docs/make.bat 1 file changed, 19 insertions(+), 5 deletions(-) Approvals: jenkins-bot: Verified Xqt: Looks good to me, approved diff --git a/docs/make.bat b/docs/make.bat index 7819bc3..bcc8d53 100644 --- a/docs/make.bat +++ b/docs/make.bat @@ -39,14 +39,14 @@ echo Start: %STARTTIME% echo End: %ENDTIME% -rem calculate elapsed time, code modified from +rem calculate elapsed time, modified code from rem https://stackoverflow.com/questions/4487100/how-can-i-use-a-windows-batch-file-to-measure-the-performance-of-console-applica rem convert STARTTIME and ENDTIME to seconds -set /A STARTTIME=(1%STARTTIME:~0,2%-100)*3600 + (1%STARTTIME:~3,2%-100)*60 + (1%STARTTIME:~6,2%-100) -set /A ENDTIME=(1%ENDTIME:~0,2%-100)*3600 + (1%ENDTIME:~3,2%-100)*60 + (1%ENDTIME:~6,2%-100) +set /A STARTTIME=(%STARTTIME:~0,2%)*3600 + (1%STARTTIME:~3,2%-100)*60 + (1%STARTTIME:~6,2%-100) +set /A ENDTIME=(%ENDTIME:~0,2%)*3600 + (1%ENDTIME:~3,2%-100)*60 + (1%ENDTIME:~6,2%-100) -rem calculating the duratyion is easy +rem calculating the duration is easy set /A DURATION=%ENDTIME%-%STARTTIME% rem we might have measured the time inbetween days @@ -70,7 +70,7 @@ echo. echo make has the following options: echo make ^<target^> [^<theme^>] -echo make html basic +echo make html nature echo. %SPHINXBUILD% -M help %SOURCEDIR% %BUILDDIR% -- To view, visit https://gerrit.wikimedia.org/r/c/pywikibot/core/+/911255 To unsubscribe, or for help writing mail filters, visit https://gerrit.wikimedia.org/r/settings Gerrit-Project: pywikibot/core Gerrit-Branch: master Gerrit-Change-Id: Ic298c74c9107a93fba87400278ecd55a8007e66e Gerrit-Change-Number: 911255 Gerrit-PatchSet: 1 Gerrit-Owner: Xqt <i...@gno.de> Gerrit-Reviewer: Xqt <i...@gno.de> Gerrit-Reviewer: jenkins-bot Gerrit-MessageType: merged
_______________________________________________ Pywikibot-commits mailing list -- pywikibot-commits@lists.wikimedia.org To unsubscribe send an email to pywikibot-commits-le...@lists.wikimedia.org