# HG changeset patch # User greg # Date 1494851183 14400 # Node ID 5691bc0a32d22223d7bc7bf216a039f81ad862b3 # Parent 3b80ba2c0fd11eb1dd9b2bad26919df4ef6b5ce8 Uploaded diff -r 3b80ba2c0fd1 -r 5691bc0a32d2 utils.py --- a/utils.py Tue May 09 13:02:31 2017 -0400 +++ b/utils.py Mon May 15 08:26:23 2017 -0400 @@ -27,14 +27,17 @@ return fstderr, fherr, fstdout, fhout -def move_directory_files(source_dir, destination_dir): +def move_directory_files(source_dir, destination_dir, copy=False): source_directory = os.path.abspath(source_dir) destination_directory = os.path.abspath(destination_dir) if not os.path.isdir(destination_directory): os.makedirs(destination_directory) for dir_entry in os.listdir(source_directory): source_entry = os.path.join(source_directory, dir_entry) - shutil.move(source_entry, destination_directory) + if copy: + shutil.copy(source_entry, destination_directory) + else: + shutil.move(source_entry, destination_directory) def run_command(cmd): @@ -53,7 +56,7 @@ def write_html_output(output, title, dir): with open(output, 'w') as fh: - fh.write('

%s

\n' % title) + fh.write('

%s: %d files

\n' % (title, len(os.listdir(dir)))) fh.write('

\n') fh.write('\n') for index, fname in enumerate(sorted(os.listdir(dir))):
Size Name