diff options
| author | Kévin Le Gouguec <kevin.legouguec@gmail.com> | 2020-04-12 23:11:33 +0200 |
|---|---|---|
| committer | Kévin Le Gouguec <kevin.legouguec@gmail.com> | 2020-04-12 23:11:33 +0200 |
| commit | 965c995901e38e43b2ef4e7df1735c50c8db7996 (patch) | |
| tree | 4368cb0001a0cd26ccd6bb3cde463363119dfaea | |
| parent | 12e18454ba07c3b7747f8b868f6830f05de149c4 (diff) | |
| download | memory-leaks-965c995901e38e43b2ef4e7df1735c50c8db7996.tar.xz | |
Refactor index generation slightly
| -rwxr-xr-x | repo/www/generate-index.py | 14 |
1 files changed, 5 insertions, 9 deletions
diff --git a/repo/www/generate-index.py b/repo/www/generate-index.py index d28c6a6..acbeb52 100755 --- a/repo/www/generate-index.py +++ b/repo/www/generate-index.py @@ -30,12 +30,7 @@ def list_files(tree_file, folder): return directories[folder].subfolders, directories[folder].files -def generate_index_page(title, directories, files, intro_file): - intro_text = '' - if intro_file is not None: - with open(intro_file) as intro: - intro_text = intro.read() - +def generate_index_page(title, directories, files, intro_text): dir_list = '\n'.join( f'- [{d}/]({d}/index.html)' for d in directories ) @@ -65,21 +60,22 @@ def main(arguments): folders, files = list_files(arguments.site_tree, target) names = [] - intro = None + intro_text = '' repo = Repo(search_parent_directories=True) for f in files: name, _ = path.splitext(f) if name == 'README': - intro = path.join(repo.working_dir, target, f) + with open(path.join(repo.working_dir, target, f)) as intro: + intro_text = intro.read() else: names.append(name) title = path.basename(target) if target else 'index' convert_page( - generate_index_page(title, folders, names, intro), + generate_index_page(title, folders, names, intro_text), arguments.output ) |
