summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/support/gitfile-info/post-merge.py
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2016-06-28 21:03:22 +0000
committerKarl Berry <karl@freefriends.org>2016-06-28 21:03:22 +0000
commit1e9b5e4a3d19af7014ac743b5226a9a9ce419fe5 (patch)
tree1fcc6e8939e287c5ffbbd6c6926973eae2572eac /Master/texmf-dist/doc/support/gitfile-info/post-merge.py
parent2168e8fbffddbb551fe4620dabf718891e942212 (diff)
gitfile-info (28jun16)
git-svn-id: svn://tug.org/texlive/trunk@41562 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/doc/support/gitfile-info/post-merge.py')
-rw-r--r--Master/texmf-dist/doc/support/gitfile-info/post-merge.py47
1 files changed, 47 insertions, 0 deletions
diff --git a/Master/texmf-dist/doc/support/gitfile-info/post-merge.py b/Master/texmf-dist/doc/support/gitfile-info/post-merge.py
new file mode 100644
index 00000000000..0988c7ed913
--- /dev/null
+++ b/Master/texmf-dist/doc/support/gitfile-info/post-merge.py
@@ -0,0 +1,47 @@
+#!/usr/bin/env python
+# -*- coding: utf-8 -*-
+# -*- mode:python -*-
+import os
+import time
+import codecs
+from git import Repo
+import locale
+# Locales for date set up to de_DE
+# Please edit to you needs
+locale.setlocale(locale.LC_ALL, 'de_DE')
+
+# set up the git repo
+# path is the current working directory
+pathrepo = os.getcwd()
+repo = Repo(pathrepo)
+assert not repo.bare
+git = repo.git
+headcommit = repo.head.commit
+index = repo.index
+
+# get the commited/changed files and date/author/commit
+commFiles = git.diff_tree('-r', 'ORIG_HEAD', 'HEAD',
+ no_commit_id=True, name_only=True).split("\n")
+
+# iterate through all files and write the gfi help-files
+for fl in commFiles:
+ flname, flext = os.path.splitext(fl)
+ if flext == '.tex':
+ rawdate = int(git.log('-1', fl, pretty='format:"%at"').split('"')[1])
+ date = [time.strftime("%d. %B %Y %H:%M", time.localtime(rawdate)),
+ time.strftime("%d", time.localtime(rawdate)),
+ time.strftime("%m", time.localtime(rawdate)),
+ time.strftime("%Y", time.localtime(rawdate)),
+ time.strftime("%H", time.localtime(rawdate)),
+ time.strftime("%M", time.localtime(rawdate))]
+ author = [git.log('-1', fl, pretty='format:"%an"').split('"')[1],
+ git.log('-1', fl, pretty='format:"%ae"').split('"')[1]]
+ commit = [git.log('-1', fl, pretty='format:"%H"').split('"')[1],
+ git.log('-1', fl, pretty='format:"%h"').split('"')[1]]
+ f = codecs.open(flname+".gfi", "w", encoding="utf-8")
+ f.write("% gitfile-info control file\n")
+ f.write("\\gfiSetDate{" + date[1] + "}{" + date[2] + "}{" + date[3]
+ + "}{" + date[4] + "}{" + date[5] + "}{" + date[0] + "}\n")
+ f.write("\\gfiSetAuthor{" + author[0] + "}{" + author[1] + "}\n")
+ f.write("\\gfiSetCommit{" + commit[0] + "}{" + commit[1] + "}")
+ f.close