21 def merge(dest, files):
23     Merge the content of all files into the file dest.
58             dest.write('\n')
59             dest.write(header)
64                 dest.write(fd.read())
69     parser.add_argument('--dest', type=str, default=None)
75     if ns.dest is None:
76         dest = sys.stdout
78         dest = ns.dest
80     with dest or open(dest, 'w') as fd:

Indexes created Sat Nov 29 00:09:30 GMT 2025