13.2.3 'save tracepoints FILENAME' ---------------------------------- This command saves all current tracepoint definitions together with their actions and passcounts, into a file 'FILENAME' suitable for use in a later debugging session. To read the saved tracepoint definitions, use the 'source' command (Command Files). The 'save-tracepoints' command is a deprecated alias for 'save tracepoints'