Merge pull request #89421 from /pre-commit-fix-copyright_headers

This commit is contained in:
Rémi Verschelde 2024-03-15 17:01:24 +01:00
commit 691bd17df8
No known key found for this signature in database
GPG key ID: C3336907360768E1
2 changed files with 51 additions and 47 deletions

View file

@ -39,10 +39,10 @@ repos:
entry: python3 misc/scripts/copyright_headers.py entry: python3 misc/scripts/copyright_headers.py
exclude: | exclude: |
(?x)^( (?x)^(
tests/python_build.*|
.*thirdparty.*| .*thirdparty.*|
.*platform/android/java/lib/src/com.*|
.*-so_wrap.*| .*-so_wrap.*|
core/math/bvh_.*\.inc$|
platform/android/java/lib/src/com.*|
platform/android/java/lib/src/org/godotengine/godot/gl/GLSurfaceView.*| platform/android/java/lib/src/org/godotengine/godot/gl/GLSurfaceView.*|
platform/android/java/lib/src/org/godotengine/godot/gl/EGLLogWrapper.*| platform/android/java/lib/src/org/godotengine/godot/gl/EGLLogWrapper.*|
platform/android/java/lib/src/org/godotengine/godot/utils/ProcessPhoenix.* platform/android/java/lib/src/org/godotengine/godot/utils/ProcessPhoenix.*

View file

@ -1,6 +1,7 @@
#!/usr/bin/env python #!/usr/bin/env python
# -*- coding: utf-8 -*- # -*- coding: utf-8 -*-
import os
import sys import sys
header = """\ header = """\
@ -35,58 +36,61 @@ header = """\
/**************************************************************************/ /**************************************************************************/
""" """
fname = sys.argv[1] if len(sys.argv) < 2:
print("Invalid usage of copyright_headers.py, it should be called with a path to one or multiple files.")
sys.exit(1)
# Handle replacing $filename with actual filename and keep alignment for f in sys.argv[1:]:
fsingle = fname.strip() fname = f
if fsingle.find("/") != -1:
fsingle = fsingle[fsingle.rfind("/") + 1 :]
rep_fl = "$filename"
rep_fi = fsingle
len_fl = len(rep_fl)
len_fi = len(rep_fi)
# Pad with spaces to keep alignment
if len_fi < len_fl:
for x in range(len_fl - len_fi):
rep_fi += " "
elif len_fl < len_fi:
for x in range(len_fi - len_fl):
rep_fl += " "
if header.find(rep_fl) != -1:
text = header.replace(rep_fl, rep_fi)
else:
text = header.replace("$filename", fsingle)
text += "\n"
# We now have the proper header, so we want to ignore the one in the original file # Handle replacing $filename with actual filename and keep alignment
# and potentially empty lines and badly formatted lines, while keeping comments that fsingle = os.path.basename(fname.strip())
# come after the header, and then keep everything non-header unchanged. rep_fl = "$filename"
# To do so, we skip empty lines that may be at the top in a first pass. rep_fi = fsingle
# In a second pass, we skip all consecutive comment lines starting with "/*", len_fl = len(rep_fl)
# then we can append the rest (step 2). len_fi = len(rep_fi)
# Pad with spaces to keep alignment
if len_fi < len_fl:
for x in range(len_fl - len_fi):
rep_fi += " "
elif len_fl < len_fi:
for x in range(len_fi - len_fl):
rep_fl += " "
if header.find(rep_fl) != -1:
text = header.replace(rep_fl, rep_fi)
else:
text = header.replace("$filename", fsingle)
text += "\n"
with open(fname.strip(), "r") as fileread: # We now have the proper header, so we want to ignore the one in the original file
line = fileread.readline() # and potentially empty lines and badly formatted lines, while keeping comments that
header_done = False # come after the header, and then keep everything non-header unchanged.
# To do so, we skip empty lines that may be at the top in a first pass.
# In a second pass, we skip all consecutive comment lines starting with "/*",
# then we can append the rest (step 2).
while line.strip() == "": # Skip empty lines at the top with open(fname.strip(), "r") as fileread:
line = fileread.readline() line = fileread.readline()
header_done = False
if line.find("/**********") == -1: # Godot header starts this way while line.strip() == "": # Skip empty lines at the top
# Maybe starting with a non-Godot comment, abort header magic line = fileread.readline()
header_done = True
while not header_done: # Handle header now if line.find("/**********") == -1: # Godot header starts this way
if line.find("/*") != 0: # No more starting with a comment # Maybe starting with a non-Godot comment, abort header magic
header_done = True header_done = True
if line.strip() != "":
text += line
line = fileread.readline()
while line != "": # Dump everything until EOF while not header_done: # Handle header now
text += line if line.find("/*") != 0: # No more starting with a comment
line = fileread.readline() header_done = True
if line.strip() != "":
text += line
line = fileread.readline()
# Write while line != "": # Dump everything until EOF
with open(fname.strip(), "w", encoding="utf-8", newline="\n") as filewrite: text += line
filewrite.write(text) line = fileread.readline()
# Write
with open(fname.strip(), "w", encoding="utf-8", newline="\n") as filewrite:
filewrite.write(text)