]> SALOME platform Git repositories - modules/kernel.git/blobdiff - bin/launchConfigureParser.py
Salome HOME
[bos #29467] [EDF] (2022-T1) Logging of SALOME usage: specific log in SALOME
[modules/kernel.git] / bin / launchConfigureParser.py
index 3609afa8c4fafdb7caa01f9aafa64020b1d4fc3c..26b0913c076f08018c43a05a52e757d133f1ef71 100644 (file)
@@ -585,6 +585,13 @@ Python file arguments, if any, must be comma-separated (without blank characters
                       dest="log_file",
                       help=help_str)
 
+    # Use gui-log-file for specific user actions in GUI. Default: nothing.
+    help_str = "Log specific user actions in GUI to <gui_log_file>"
+    pars.add_argument("--gui-log-file",
+                      metavar="<gui_log_file>",
+                      dest="gui_log_file",
+                      help=help_str)
+
     # Configuration XML file. Default: see defaultUserFile() function
     help_str = "Parse application settings from the <file> "
     help_str += "instead of default %s" % defaultUserFile()
@@ -1009,6 +1016,7 @@ def get_env(appname=salomeappname, cfgname=salomecfgname, exeName=None, keepEnvi
     args["session_gui"] = False
     args[batch_nam] = False
     args["study_hdf"] = None
+    args["gui_log_file"] = None
     if cmd_opts.gui is not None:
         args[gui_nam] = cmd_opts.gui
     if cmd_opts.batch is not None:
@@ -1036,6 +1044,10 @@ def get_env(appname=salomeappname, cfgname=salomecfgname, exeName=None, keepEnvi
         else:
             args[file_nam] = [cmd_opts.log_file]
 
+    # GUI Log file
+    if cmd_opts.gui_log_file is not None:
+        args["gui_log_file"] = cmd_opts.gui_log_file
+
     # Naming Service port log file
     if cmd_opts.ns_port_log_file is not None:
         args["ns_port_log_file"] = cmd_opts.ns_port_log_file