Doku vervollständigt, kleinere Fehler bereinigt

This commit is contained in:
2016-06-23 18:53:02 +02:00
parent 70d2a68ced
commit 3c2aabbdf5
5 changed files with 393 additions and 84 deletions

27
gfi-run
View File

@ -18,20 +18,19 @@ index = repo.index
if len(sys.argv) <= 1:
commFiles = git.ls_files(full_name=True).split("\n")
#commit = git.log('-1', format='%h').rstrip()
#commit = git.log('-1', format='%h').rstriMin
#cmt = subprocess.check_output('git log -1 --format="%s" ', shell=True).decode("utf-8").rstrip()
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.gmtime(rawdate)),
time.strftime("%d", time.gmtime(rawdate)),
time.strftime("%m", time.gmtime(rawdate)),
time.strftime("%Y", time.gmtime(rawdate)),
time.strftime("%H", time.gmtime(rawdate)),
time.strftime("%M", time.gmtime(rawdate))]
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],
@ -48,12 +47,12 @@ else:
fl = sys.argv[1]
flname, flext = os.path.splitext(fl)
rawdate = int(git.log('-1', fl, pretty='format:"%at"').split('"')[1])
date = [time.strftime("%d. %B %Y %H:%M", time.gmtime(rawdate)),
time.strftime("%d", time.gmtime(rawdate)),
time.strftime("%m", time.gmtime(rawdate)),
time.strftime("%Y", time.gmtime(rawdate)),
time.strftime("%H", time.gmtime(rawdate)),
time.strftime("%M", time.gmtime(rawdate))]
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],