Skip to content

Fix locale-sensitive post_mod coordinate parsing#20

Open
dmerkle wants to merge 1 commit into
jakobandersen:developfrom
dmerkle:codex/post-mod-locale-awk
Open

Fix locale-sensitive post_mod coordinate parsing#20
dmerkle wants to merge 1 commit into
jakobandersen:developfrom
dmerkle:codex/post-mod-locale-awk

Conversation

@dmerkle

@dmerkle dmerkle commented Jun 14, 2026

Copy link
Copy Markdown

Summary

Fix PostMØD's Graphviz .plain parsing so coordinate dimensions are interpreted with the C locale.

Under locales such as de_DE.UTF-8, the size check for Graphviz output can misclassify small figures as too large. For example, a graph line like graph 1 3.1224 3.2197 can trigger the \dontUseTooLargeCoords fallback, causing summaries to show Figure too large even though the DG is small enough to embed.

This change runs the relevant awk parsers with LC_ALL=C while leaving the surrounding environment unchanged.

Validation

Locally reproduced the false fallback under LC_ALL=de_DE.UTF-8 with a small derivation graph, then verified the patched mod_post no longer emits \dontUseTooLargeCoords and the summary embeds the DG correctly under both de_DE.UTF-8 and C.UTF-8.

@dmerkle dmerkle force-pushed the codex/post-mod-locale-awk branch from 1b2be2b to 3dcbc8d Compare June 15, 2026 12:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants