mirror of
https://github.com/LCPQ/QUESTDB_website.git
synced 2024-12-25 13:53:48 +01:00
25 lines
771 B
Python
25 lines
771 B
Python
|
from git import Repo,Git
|
||
|
|
import io
|
||
|
|
r=Repo(path=".")
|
||
|
|
l=[item for item in r.index.diff(None) if item.a_path.endswith(".dat") and item.change_type=="M"]
|
||
|
|
len(l)
|
||
|
|
for i in l:
|
||
|
|
print(i.a_path)
|
||
|
|
g=Git(Repo.git_dir)
|
||
|
|
with io.StringIO(g.execute(["git" ,"--no-pager", "show", f"HEAD~1:{i.a_path}"])) as old:
|
||
|
|
with open(i.a_path,mode="r+") as new:
|
||
|
|
with io.StringIO(new.read()) as copy:
|
||
|
|
new.seek(0)
|
||
|
|
line=old.readline()
|
||
|
|
while line and line.startswith("#"):
|
||
|
|
new.write(line)
|
||
|
|
line=old.readline()
|
||
|
|
line=copy.readline()
|
||
|
|
end=False
|
||
|
|
while line:
|
||
|
|
if not end and not line.startswith("#"):
|
||
|
|
end=True
|
||
|
|
if end:
|
||
|
|
new.write(line)
|
||
|
|
line=copy.readline()
|
||
|
|
new.truncate()
|