From 355b77c1fff8132cd3445c375140cf51e736d8a0 Mon Sep 17 00:00:00 2001 From: Kévin Le Gouguec Date: Tue, 24 Mar 2020 23:07:17 +0100 Subject: Produce auto-generated indices on stdout This way I can concatenate the output with regular indices. --- repo/www/make-index.py | 11 +++++------ 1 file changed, 5 insertions(+), 6 deletions(-) (limited to 'repo/www/make-index.py') diff --git a/repo/www/make-index.py b/repo/www/make-index.py index 07aa266..ef699f0 100755 --- a/repo/www/make-index.py +++ b/repo/www/make-index.py @@ -10,10 +10,10 @@ from helpers import compute_directories def parse_arguments(args): - if len(args) != 4: - exit(f'Usage: {argv[0]} EXTENSIONS FOLDER OUTPUT-DIR') + if len(args) != 3: + exit(f'Usage: {argv[0]} EXTENSIONS FOLDER') - return argv[1].split(), argv[2], argv[3] + return argv[1].split(), argv[2] def list_files(extensions, folder): @@ -38,7 +38,7 @@ def generate_index_page(title, directories, files): def main(arguments): - extensions, folder, out_dir = parse_arguments(arguments) + extensions, folder = parse_arguments(arguments) title = path.basename(folder) if folder else 'index' @@ -47,8 +47,7 @@ def main(arguments): parsed_filenames = (path.splitext(f) for f in files) names = tuple(name for name, _ in parsed_filenames) - with open(path.join(out_dir, folder, 'index.html'), 'w') as index: - index.write(generate_index_page(title, folders, names)) + print(generate_index_page(title, folders, names)) if __name__ == '__main__': -- cgit v1.2.3