Kleinere Anpassungen; Scripte angepasst

This commit is contained in:
2016-06-27 11:35:25 +02:00
parent 1b7c975dc7
commit 4c8616c309
5 changed files with 54 additions and 34 deletions

29
gfi-run
View File

@ -7,8 +7,12 @@ 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
@ -16,15 +20,19 @@ git = repo.git
headcommit = repo.head.commit
index = repo.index
# check for specific file (else) or
# every tex file within the git
if len(sys.argv) <= 1:
# get all the files within the git
commFiles = git.ls_files(full_name=True).split("\n")
#commit = git.log('-1', format='%h').rstriMin
#cmt = subprocess.check_output('git log -1 --format="%s" ', shell=True).decode("utf-8").rstrip()
# iterate through all files and read date/author/commit and
# write in the help file
for fl in commFiles:
flname, flext = os.path.splitext(fl)
if flext == '.tex':
rawdate = int(git.log('-1', fl, pretty='format:"%at"').split('"')[1])
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)),
@ -37,13 +45,14 @@ if len(sys.argv) <= 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("\\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] + "}")
#print("\\gfiSet{" + date + "}{" + author + "}{" + commit + "}")
f.close
else:
# get the specific file, read date/author/commit and
# write the help file
fl = sys.argv[1]
flname, flext = os.path.splitext(fl)
rawdate = int(git.log('-1', fl, pretty='format:"%at"').split('"')[1])
@ -56,13 +65,11 @@ else:
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]]
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("\\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] + "}")
#print("\\gfiSet{" + date + "}{" + author + "}{" + commit + "}")
f.close