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
lars.winzer commented 2026-03-09 18:13:19 +01:00 (Migrated from git.scicore.unibas.ch)

Added script to iterate over all .drawio files and export them, if drawio document has changed since last export

Added script to iterate over all .drawio files and export them, if drawio document has changed since last export
lars.winzer (Migrated from git.scicore.unibas.ch) merged commit c4942aa714 into main 2026-03-09 18:13:37 +01:00
lars.winzer commented 2026-03-09 18:13:38 +01:00 (Migrated from git.scicore.unibas.ch)

mentioned in commit c4942aa714

mentioned in commit c4942aa714fe06ca7950acf43ddb47b6745ee889
lars.winzer commented 2026-03-09 18:14:30 +01:00 (Migrated from git.scicore.unibas.ch)

grafik.png{width=595 height=600}

![grafik.png](/uploads/6359e62e41339a2a219b4a2d96e18884/grafik.png){width=595 height=600}
lars.winzer commented 2026-03-09 18:15:45 +01:00 (Migrated from git.scicore.unibas.ch)

The amount of time it took to troubleshoot, how to iterate over files if the path contains whitespaces, is surreal.

The amount of time it took to troubleshoot, how to iterate over files if the path contains whitespaces, is surreal.
This repo is archived. You cannot comment on pull requests.
No Reviewers
1 Participants
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: University-of-Basel-Studentprojects/Programmierprojekt#161