mirror of
https://github.com/microsoft/WSL.git
synced 2025-12-11 13:54:51 -06:00
Many Microsoft employees have contributed to the Windows Subsystem for Linux, this commit is the result of their work since 2016. The entire history of the Windows Subsystem for Linux can't be shared here, but here's an overview of WSL's history after it moved to it own repository in 2021: Number of commits on the main branch: 2930 Number of contributors: 31 Head over https://github.com/microsoft/WSL/releases for a more detailed history of the features added to WSL since 2021.
83 lines
1.9 KiB
Python
83 lines
1.9 KiB
Python
import glob
|
|
import sys
|
|
import re
|
|
import os.path
|
|
|
|
EXPECTED_HEADER = '.*Copyright \\(c\\) Microsoft.*All rights reserved.*'.casefold()
|
|
EXTENSIONS = ['.c', '.cpp', '.cxx', '.h', '.hpp', '.hxx']
|
|
|
|
def has_header(path: str) -> bool:
|
|
with open(path, 'rb') as fd:
|
|
lines = fd.read().decode('utf-8', 'ignore').replace('\r', '').split('\n')
|
|
|
|
in_multiline_comment = False
|
|
|
|
for e in lines[:50]:
|
|
if e.startswith('/*'): # Simplified comment parsing
|
|
in_multiline_comment = True
|
|
|
|
if '*/' in e:
|
|
in_multiline_comment = False
|
|
|
|
if e.strip().startswith('//') or in_multiline_comment:
|
|
if re.match(EXPECTED_HEADER, e.casefold()):
|
|
return True
|
|
|
|
|
|
return False
|
|
|
|
def is_source_file(path: str) -> bool:
|
|
return any(e for e in EXTENSIONS if path.casefold().endswith(e))
|
|
|
|
def generate_header(path: str):
|
|
with open(path, 'rb') as fd:
|
|
content = fd.read().decode('utf-8', 'ignore')
|
|
|
|
header = f'''/*++
|
|
|
|
Copyright (c) Microsoft. All rights reserved.
|
|
|
|
Module Name:
|
|
|
|
{os.path.basename(path)}
|
|
|
|
Abstract:
|
|
|
|
TODO
|
|
|
|
--*/
|
|
'''.replace('\n', '\r\n')
|
|
|
|
with open(path, 'wb') as fd:
|
|
fd.write((header + content).encode('utf-8'))
|
|
|
|
|
|
def main(path: str, fix: bool):
|
|
files = glob.glob(f'{path}/**', recursive=True)
|
|
|
|
source_files = [e for e in files if is_source_file(e)]
|
|
print(f'Validate copyright headers for {len(source_files)} files')
|
|
|
|
missing_headers = [e for e in source_files if not has_header(e)]
|
|
|
|
if missing_headers:
|
|
if fix:
|
|
for e in missing_headers:
|
|
generate_header(e)
|
|
|
|
files = "\n".join(missing_headers)
|
|
print(f'{len(missing_headers)} files are missing a copyright header:\n{files}')
|
|
sys.exit(1)
|
|
|
|
|
|
if __name__ == '__main__':
|
|
path = '.'
|
|
fix = False
|
|
|
|
for e in sys.argv[1:]:
|
|
if e == '--fix':
|
|
fix = True
|
|
else:
|
|
path = e
|
|
|
|
main(path, fix) |