From 699dd2ad39d009a0e4d806df16fe9f214573895b Mon Sep 17 00:00:00 2001 From: Hugo van Kemenade Date: Thu, 10 Mar 2022 11:27:25 +0200 Subject: [PATCH 1/2] Infra: build peps.rss from input txt and rst files --- generate_rss.py | 11 +++++++++-- 1 file changed, 9 insertions(+), 2 deletions(-) diff --git a/generate_rss.py b/generate_rss.py index 2322fbd43ca..a16b83cb1ac 100755 --- a/generate_rss.py +++ b/generate_rss.py @@ -79,10 +79,17 @@ def pep_abstract(full_path: Path) -> str: def main(): # get the directory with the PEP sources + in_dir = Path(__file__).parent + + # get the output directory for target HTML files out_dir = Path(__file__).parent / "build" - # get list of peps with creation time (from "Created:" string in pep source) - peps_with_dt = sorted((pep_creation(path), path) for path in out_dir.glob("pep-????.*")) + # get list of source peps + peps = list(in_dir.glob('pep-*.txt')) + peps.extend(in_dir.glob('pep-*.rst')) + + # sort peps by creation time (from "Created:" string in pep source) + peps_with_dt = sorted((pep_creation(path), path) for path in peps) # generate rss items for 10 most recent peps items = [] From 44e81f889fb26ba9698da41f7fe2081031be29d1 Mon Sep 17 00:00:00 2001 From: Hugo van Kemenade Date: Fri, 11 Mar 2022 11:40:08 +0200 Subject: [PATCH 2/2] RSS: More precise globbing Co-authored-by: CAM Gerlach --- generate_rss.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/generate_rss.py b/generate_rss.py index a16b83cb1ac..3f20056d3c6 100755 --- a/generate_rss.py +++ b/generate_rss.py @@ -85,8 +85,8 @@ def main(): out_dir = Path(__file__).parent / "build" # get list of source peps - peps = list(in_dir.glob('pep-*.txt')) - peps.extend(in_dir.glob('pep-*.rst')) + peps = list(in_dir.glob('pep-[0-9][0-9][0-9][0-9].txt')) + peps.extend(in_dir.glob('pep-[0-9][0-9][0-9][0-9].rst')) # sort peps by creation time (from "Created:" string in pep source) peps_with_dt = sorted((pep_creation(path), path) for path in peps)