From 2b50ca7271d374c24b9df74aac825bb117177d4d Mon Sep 17 00:00:00 2001
From: Holger Vogt <holger.vogt@uni-due.de>
Date: Fri, 24 Aug 2018 15:41:53 +0200
Subject: [PATCH] command 'print': preserve case for filenames after
 redirection '>'

---
 src/frontend/inpcom.c | 12 +++++++++++-
 1 file changed, 11 insertions(+), 1 deletion(-)

diff --git a/src/frontend/inpcom.c b/src/frontend/inpcom.c
index dc79e8064..36ccd23ea 100644
--- a/src/frontend/inpcom.c
+++ b/src/frontend/inpcom.c
@@ -926,6 +926,7 @@ inp_read(FILE *fp, int call_depth, char *dir_name, bool comfile, bool intfile)
                 !ciprefix("source", buffer) &&
                 !ciprefix("load", buffer) &&
                 !ciprefix("plot", buffer) &&
+                !ciprefix("print", buffer) &&
                 !ciprefix("hardcopy", buffer) &&
                 !(ciprefix("set", buffer) && strstr(buffer, "sourcepath"))
                 )
@@ -994,7 +995,16 @@ inp_read(FILE *fp, int call_depth, char *dir_name, bool comfile, bool intfile)
                             s++;
                     }
                 }
-            } else {
+            }
+            else if (ciprefix("print", buffer)) {
+                /* lower case excluded for tokens following output redirection '>' */
+                for (s = buffer; *s && (*s != '\n'); s++) {
+                    if (*s == '>')
+                        break;
+                    *s = tolower_c(*s);
+                }
+            }
+            else {
                 /* add Inp_Path to sourcepath variable */
                 char *p;
                 if ((p = strstr(buffer, "sourcepath"))) {