in tools/torset-tool/torset-tool.py [0:0]
def write_guids_to_file(self): with open(self.guids_file, 'w') as f: for guid in self.guid_to_host_map.keys(): f.write(f"{guid}\n")