Added script to convert drawio files to png

+ (re)converted all files
2026-01-06 21:33:50 -05:00 · 2023-07-31 11:53:34 +02:00
parent 5d7b5850b6
commit 9afe78a53c
9 changed files with 6 additions and 0 deletions
--- a/convert_all.sh
+++ b/convert_all.sh
@@ -0,0 +1,6 @@
+#!/bin/bash
+DRAW_IO="/Applications/draw.io.app/Contents/MacOS/draw.io"
+
+for file in diagrams/*.drawio; do
+    $DRAW_IO -x -f png --scale 2.5 -o "${file%.drawio}.png" $file
+done
--- a/diagrams/client-state-diagram.png
+++ b/diagrams/client-state-diagram.png
--- a/diagrams/crate_structure.png
+++ b/diagrams/crate_structure.png
--- a/diagrams/gc-types.png
+++ b/diagrams/gc-types.png
--- a/diagrams/intro-diagram.png
+++ b/diagrams/intro-diagram.png
--- a/diagrams/key_exchange.png
+++ b/diagrams/key_exchange.png
--- a/diagrams/overview.png
+++ b/diagrams/overview.png
--- a/diagrams/protocol.png
+++ b/diagrams/protocol.png
--- a/diagrams/transcript.png
+++ b/diagrams/transcript.png