diff options
| author | Paul Buetow <paul@buetow.org> | 2025-12-06 23:41:47 +0200 |
|---|---|---|
| committer | Paul Buetow <paul@buetow.org> | 2025-12-06 23:41:54 +0200 |
| commit | 68ac117821e757dc26a92fbaa4057870eb38667c (patch) | |
| tree | 0c3b682fb42518775367149bede11eed9a749f4d /lib/generate.source.sh | |
| parent | 48de4390f9cb6e4ebebb1182a0748296b483d697 (diff) | |
Fix draft HTML generation for files with unsupported source-highlight languages
- Add .tmp to exclusion pattern in cleanup to prevent race condition
- Gracefully fallback to plain <pre> when source-highlight fails (e.g., yaml)
Diffstat (limited to 'lib/generate.source.sh')
| -rw-r--r-- | lib/generate.source.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/generate.source.sh b/lib/generate.source.sh index db9dc95..313531d 100644 --- a/lib/generate.source.sh +++ b/lib/generate.source.sh @@ -185,7 +185,7 @@ generate::fromgmi () { # Anoter note: The CNAME file is required by GitHub pages as well for custom domains. for format in "$@"; do find "$CONTENT_BASE_DIR/$format" -type f | - $GREP -E -v '(\.git.*|_config.yml|CNAME|.domains|robots.txt|static)$'| + $GREP -E -v '(\.git.*|_config.yml|CNAME|.domains|robots.txt|static|\.tmp)$'| while read -r src; do generate::fromgmi_cleanup_docs "$src" "$format" done & |