Redirect trace output to a file
Example: (open-trace-file "foo") ; trace output will go to file foo General Form: (open-trace-file filename) ; trace output will go to file filename
Output from trace$ normally goes to the screen, i.e., standard-co. But it can be redirected to a file as shown above. See close-trace-file for how to send trace output back to the screen.