University-of-Basel-Studentprojects/Programmierprojekt
Archived
1
0
Fork 0
Code Issues 17 Pull Requests Actions Wiki Activity

Add bash script to mass-convert drawio files to svg #161

Merged
lars.winzer merged 4 commits from chore/task-to-convert-drawio-to-svg into main 2026-03-09 18:13:37 +01:00
Conversation 3 Commits 4 Files Changed 2
+7 -5
1 changed files with 7 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files
Showing only changes of commit dc784050bf - Show all commits
scripts/export-drawio.sh
+4 -2
View File
@@ -22,6 +22,7 @@ else
echo "Draw.io installation found at: $DRAWIO_PATH" echo "Draw.io installation found at: $DRAWIO_PATH"
fi fi
# Compare source (draw.io document) and exported file svg on mtime
needs_export() { needs_export() {
local drawio_file="$1" local drawio_file="$1"
local svg_file="$2" local svg_file="$2"
@@ -31,7 +32,6 @@ needs_export() {
return 0 return 0
fi fi
# Compare source (draw.io document) and exported file on mtime
if [[ "$drawio_file" -nt "$svg_file" ]]; then if [[ "$drawio_file" -nt "$svg_file" ]]; then
return 0 return 0
else else
@@ -39,12 +39,13 @@ needs_export() {
fi fi
} }
# If (re-)export is necessary export with drawio cli
export_file() { export_file() {
local drawio_file="$1" local drawio_file="$1"
local svg_file="${drawio_file%.drawio}.svg" local svg_file="${drawio_file%.drawio}.svg"
if needs_export "$drawio_file" "$svg_file"; then if needs_export "$drawio_file" "$svg_file"; then
echo "↻ Exportiere: $drawio_file" echo "↻ Exporting: $drawio_file"
echo "$svg_file" echo "$svg_file"
echo "$drawio_file" echo "$drawio_file"
@@ -54,6 +55,7 @@ export_file() {
fi fi
} }
# Iterate over all .drawio files
main() { main() {
# Source - https://stackoverflow.com/a/9612232 # Source - https://stackoverflow.com/a/9612232
# Posted by Kevin, modified by community. See post 'Timeline' for change history # Posted by Kevin, modified by community. See post 'Timeline' for change history