Merge remote-tracking branch 'origin/dev' into dev

This commit is contained in:
M. Mastella 2022-02-23 12:49:46 +01:00
commit cce1d0f187
1 changed files with 8 additions and 1 deletions

View File

@ -159,7 +159,14 @@ Use -exclude='regex' to specify signals to exclude (or -ex).""")
plt.arrow(t0, s1, 0, s0-s1 + 0.2*np.sign(s0-s1), head_width = 0, width = 0.2, ec = "none", lw = 0, fc = "black", length_includes_head = True)
plt.scatter((t0),(s0), c = "black", s = 30)
file_out_path = file_path.replace(".out",".pdf")
output_type = ".pdf"
for arg in argv:
if arg == "-png": output_type = ".png"
file_out_path = file_path.replace(".out",output_type)
plt.savefig(file_out_path, bbox_inches = "tight")