The purpose of a log file from Virtuoso is to act as a transcript of the session, capturing all inputs and outputs. This allows the log file to be used for replay (via -replay - exactly what you're doing with your code). It's not really supposed to just be a convenient way of capturing some of the output. You could just open an output file yourself within the file you're replaying and print to that. So the answer is, no, you can't omit the input lines from a Virtuoso log file. However, another approach could be to do this: virtuoso -nographE -restore test.il -cdslib my.cds.lib -log my.log This outputs to standard out, and the my.log won't contain input lines because there were no input lines (you need to ensure that your script will always exit because otherwise it goes interactive). Andrew
↧