def load_data(fn): try: with open(fn) as f: data = f.read().split("\n") data = set(data) data.discard("") #TODO except FileNotFoundError: data = set() return data def save_data(data, fn): with open(fn, "w") as f: data = "\n".join(sorted(data)) f.write(data) def mk_db(data, fn): with open(fn, "w") as f: for name in data: entry = f'record(stringin, "$(SYSTEM):{name}") {{}}' f.write(entry) f.write("\n")