Skip to content
Snippets Groups Projects
Commit 9b5e9eea authored by Mirko Wächter's avatar Mirko Wächter Committed by Mirko Wächter
Browse files

control plots: use svg instead png

parent b53be199
No related branches found
No related tags found
No related merge requests found
...@@ -72,7 +72,7 @@ def consume_file(fname, save=True, show=True): ...@@ -72,7 +72,7 @@ def consume_file(fname, save=True, show=True):
add(acc,'dec',clr='darkgreen', style='--') add(acc,'dec',clr='darkgreen', style='--')
plt.draw() plt.draw()
if save: plt.savefig(fname+'.png') if save: plt.savefig(fname+'.svg')
if show: plt.show() if show: plt.show()
if not show: plt.close() if not show: plt.close()
...@@ -88,7 +88,7 @@ def handle_path(p, show=True): ...@@ -88,7 +88,7 @@ def handle_path(p, show=True):
show=False show=False
for subdir, dirs, files in os.walk(p): for subdir, dirs, files in os.walk(p):
for f in files: for f in files:
if not ".png" in f: if not ".svg" in f:
handle_path(subdir+f,show=show) handle_path(subdir+f,show=show)
if len(sys.argv) >= 2: if len(sys.argv) >= 2:
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment