Commit 7f674991 authored by Jan Reimes's avatar Jan Reimes
Browse files

cli(specs): adjust app and printing for spec crawl behavior

parent 4cb21139

src/tdoc_crawler/cli/app.py

+1 −9
Original line number Diff line number Diff line
@@ -66,15 +66,7 @@ from .args import ( 
)

from .console import get_console

from .fetching import maybe_fetch_missing_tdocs

from .helpers import (

    build_limits,

    collect_spec_numbers,

    database_path,

    launch_file,

    parse_subgroups,

    parse_working_groups,

    prepare_tdoc_file,

)

from .helpers import build_limits, collect_spec_numbers, database_path, launch_file, parse_subgroups, parse_working_groups, prepare_tdoc_file

from .printing import (

    meeting_to_dict,

    print_checkout_results,

src/tdoc_crawler/cli/printing.py

+4 −0
Original line number Diff line number Diff line
@@ -109,6 +109,7 @@ def spec_query_to_dict(result: SpecQueryResult) -> dict[str, Any]: 
        "title": result.title,

        "status": result.status,

        "working_group": result.working_group,

        "source_differences": result.source_differences,

    }
@@ -141,13 +142,16 @@ def print_spec_table(results: list[SpecQueryResult]) -> None: 
    table.add_column("Title", style="yellow")

    table.add_column("WG", style="magenta")

    table.add_column("Status", style="green")

    table.add_column("Diffs", style="blue")



    for result in results[:100]:

        differences = ", ".join(sorted(result.source_differences.keys())) if result.source_differences else "-"

        table.add_row(

            result.spec_number,

            result.title or "-",

            result.working_group or "-",

            result.status or "-",

            differences,

        )



    console.print(table)