diff options
author | fpi | 2022-05-29 16:58:21 +0200 |
---|---|---|
committer | fpi | 2022-05-29 16:58:21 +0200 |
commit | d746989d33372dfc3da7d788378c542d3c56f819 (patch) | |
tree | f7ee7084215bde81609b19e34a63469ebf999203 | |
parent | Update header information (diff) |
-rw-r--r-- | ob-spice.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ob-spice.el b/ob-spice.el index ea8bb62..95b5732 100644 --- a/ob-spice.el +++ b/ob-spice.el @@ -242,7 +242,7 @@ Commands that write to files return the filename." (type (substring result 0 index)) (arg (replace-regexp-in-string "^ *[^ ]* \\([^ ]*\\).*" "\\1" result))) (pcase type - ((or "wrdata" "write") arg) + ((or "wrdata" "write" "hardcopy") arg) ("gnuplot" (format "%s.png" arg)) ("echo" (split-string (substring result (+ index 1)) ",")) (_ result)))) |