From 9ee28abd5041ebbbc8acd39ddc84ca37e7255076 Mon Sep 17 00:00:00 2001 From: jaseg Date: Sat, 30 Dec 2023 16:37:50 +0100 Subject: deploy.py: Add pagefind build --- deploy.py | 3 +++ 1 file changed, 3 insertions(+) diff --git a/deploy.py b/deploy.py index c960fbc..129d53b 100644 --- a/deploy.py +++ b/deploy.py @@ -7,6 +7,8 @@ from pathlib import Path if __name__ == '__main__': with tempfile.TemporaryDirectory() as tmpdir: + pagefind = Path('~/.cargo/bin/pagefind').expanduser() + pagefind = str(pagefind) if pagefind.is_file() else 'pagefind' current_branch = subprocess.run(['git', 'symbolic-ref', '-q', 'HEAD'], check=False, capture_output=True).stdout.strip() if current_branch == 'refs/heads/deploy': @@ -17,6 +19,7 @@ if __name__ == '__main__': env = dict(os.environ) env['PATH'] = f'{Path("hack").absolute()}:{env["PATH"]}' subprocess.run(['hugo'], cwd=tmpdir, check=True, env=env) + subprocess.run([pagefind, '--site', 'public'], cwd=tmpdir, check=True, env=env) subprocess.run(['git', 'add', '--force', 'public'], cwd=tmpdir, check=True) write_tree = subprocess.run(['git', 'write-tree', '--prefix=public/'], cwd=tmpdir, check=True, capture_output=True) tree = write_tree.stdout.strip() -- cgit