From 6af14b4edd8c70cba12d636c4d9a99f919ce405a Mon Sep 17 00:00:00 2001 From: Erik Johnston Date: Tue, 16 Jan 2024 12:59:18 +0000 Subject: [PATCH] Remove script --- update_licenses.py | 21 --------------------- 1 file changed, 21 deletions(-) delete mode 100644 update_licenses.py diff --git a/update_licenses.py b/update_licenses.py deleted file mode 100644 index 96ee29126e..0000000000 --- a/update_licenses.py +++ /dev/null @@ -1,21 +0,0 @@ -def main(): - lines = open("licenses").readlines() - - for line in lines: - filename, notice = line.split(":", 1) - - pl = open(filename).readlines() - - for line_number, line in enumerate(pl): - if line.startswith("# Copyright"): - break - else: - raise Exception(f"Could not find copyright line in {filename}") - - pl.insert(line_number, notice) - - open(filename, "w").writelines(pl) - - -if __name__ == "__main__": - main()