[devtools] Use git pretty-format for year parsing
This commit is contained in:
parent
fa24439ff3
commit
fa71669452
1 changed files with 2 additions and 2 deletions
|
@ -16,7 +16,7 @@ import time
|
||||||
import re
|
import re
|
||||||
|
|
||||||
year = time.gmtime()[0]
|
year = time.gmtime()[0]
|
||||||
CMD_GIT_DATE = "git log %s | grep Date | head -n 1"
|
CMD_GIT_DATE = 'git log --format=@%%at -1 %s | date +"%%Y" -u -f -'
|
||||||
CMD_REGEX= "perl -pi -e 's/(20\d\d)(?:-20\d\d)? The Bitcoin/$1-%s The Bitcoin/' %s"
|
CMD_REGEX= "perl -pi -e 's/(20\d\d)(?:-20\d\d)? The Bitcoin/$1-%s The Bitcoin/' %s"
|
||||||
REGEX_CURRENT= re.compile("%s The Bitcoin" % year)
|
REGEX_CURRENT= re.compile("%s The Bitcoin" % year)
|
||||||
CMD_LIST_FILES= "find %s | grep %s"
|
CMD_LIST_FILES= "find %s | grep %s"
|
||||||
|
@ -38,7 +38,7 @@ for folder in FOLDERS:
|
||||||
file_path = os.getcwd() + file_path[1:-1]
|
file_path = os.getcwd() + file_path[1:-1]
|
||||||
if file_path.endswith(extension):
|
if file_path.endswith(extension):
|
||||||
git_date = get_git_date(file_path)
|
git_date = get_git_date(file_path)
|
||||||
if len(git_date) > 0 and str(year) in git_date:
|
if str(year) == git_date:
|
||||||
# Only update if current year is not found
|
# Only update if current year is not found
|
||||||
if REGEX_CURRENT.search(open(file_path, "r").read()) is None:
|
if REGEX_CURRENT.search(open(file_path, "r").read()) is None:
|
||||||
print n,"Last git edit", git_date, "-", file_path
|
print n,"Last git edit", git_date, "-", file_path
|
||||||
|
|
Loading…
Reference in a new issue