diff --git a/append-license.py b/developer-tools/append-license.py similarity index 95% rename from append-license.py rename to developer-tools/append-license.py index 839b01a066ea4eeaae7fb16bc14aab97690c9605..154d767cab2e16623c9e64e11afd5c812014a514 100644 --- a/append-license.py +++ b/developer-tools/append-license.py @@ -1,6 +1,6 @@ import os -dir_name = "/Users/felixsidokhine/Git/jams-refactoring" # Edit as needed +dir_name = "../" # Edit as needed for parent, dirnames, filenames in os.walk(dir_name): @@ -10,6 +10,7 @@ for parent, dirnames, filenames in os.walk(dir_name): with open(os.path.join(parent, fn), 'r') as f: lines = f.readlines() #read if "/*" in lines[0]: + print("File already contains license header!") continue else: lines.insert(0,"*/\n") diff --git a/samples/license.dat b/developer-tools/samples/license.dat similarity index 100% rename from samples/license.dat rename to developer-tools/samples/license.dat