From 82e79875cb6e3c9ebf1d25c3ab2484573cf579fa Mon Sep 17 00:00:00 2001
From: Roger Wolf <roger.wolf@kit.edu>
Date: Fri, 6 Oct 2023 23:56:11 +0200
Subject: [PATCH] updating tools for figure conversion
---
tools/update_figures.py | 11 +++++++++++
1 file changed, 11 insertions(+)
create mode 100755 tools/update_figures.py
diff --git a/tools/update_figures.py b/tools/update_figures.py
new file mode 100755
index 0000000..8f7aa47
--- /dev/null
+++ b/tools/update_figures.py
@@ -0,0 +1,11 @@
+#!/usr/bin/python3
+from sys import argv
+from os import system
+
+if len(argv)<2:
+ print("usage:\npython3 update_figures.py NAME")
+else:
+ system("pdftoppm {fig}.pdf {fig} -png -cropbox".format(fig=argv[1]))
+ system("mv {fig}-1.png {fig}.png".format(fig=argv[1]))
+ system("rm {fig}.pdf".format(fig=argv[1]))
+
--
GitLab