crop drawio conversions (#179)

drawio needs --crop now in order to trim diagrams to their actual size * crop drawio conversions * make trivial change to drawio image
TrustedComputingGroup · Sep 11, 2024 · 8f79b56 · 8f79b56
1 parent 1e1207c
commit 8f79b56
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 8 deletions.
diff --git a/filter/convert-images.lua b/filter/convert-images.lua
@@ -43,7 +43,7 @@ end
 -- https://github.com/jgraph/drawio-desktop/issues/249
 function drawio(source, dest)
     print(string.format('converting %s using drawio...', source))
-    if not runCommandSuppressOutput(string.format("xvfb-run -a drawio -x -f pdf -o %s %s --no-sandbox 2>&1", dest, source)) then
+    if not runCommandSuppressOutput(string.format("xvfb-run -a drawio -x -f pdf --crop -o %s %s --no-sandbox 2>&1", dest, source)) then
         print(string.format('failed to convert %s to %s using drawio, falling back to letting latex try to pick it up', source, dest))
         return false
     end

diff --git a/sample.drawio.svg b/sample.drawio.svg