From 5bb72adbe572aebf98d2a660bf0b6b4160253fef Mon Sep 17 00:00:00 2001 From: relikd Date: Fri, 25 Sep 2020 23:29:51 +0200 Subject: [PATCH] Header path for domain index --- src/html_index_domains.py | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/src/html_index_domains.py b/src/html_index_domains.py index f04e587..a026d2d 100755 --- a/src/html_index_domains.py +++ b/src/html_index_domains.py @@ -71,7 +71,8 @@ def gen_html_trinity(idx_dir, app_count, json, title, symlink): def write_index(fname, title, button): HTML.write(idx_dir, '

{}

{}{}'.format( - title, dropdown_choose(button), duo_list(list1, list2) + HTML.a_path([('Results', '/results/')], title), + dropdown_choose(button), duo_list(list1, list2) ), title=title, fname=fname) # Full list (A–Z) @@ -90,8 +91,10 @@ def gen_html_trinity(idx_dir, app_count, json, title, symlink): def gen_lookup(html_dir, doms_dict, names_dict, title): + header = HTML.a_path([('All Domains', '/index/domains/all/')], + '') HTML.write(html_dir, ''' -

+

{}

Present in: … applications

Apps containing this domain:

@@ -102,7 +105,7 @@ def gen_lookup(html_dir, doms_dict, names_dict, title): -'''.format(HTML.app_tile_template()), title=title) +'''.format(header, HTML.app_tile_template()), title=title) # after html write which will create the dir mylib.json_write(mylib.path_add(html_dir, 'apps.json'), names_dict) mylib.json_write(mylib.path_add(html_dir, 'doms.json'), doms_dict)