9.15.9.25 Arguments

-name device_name

Optional user-defined device name. The device name is not required if there is only one device in the current configuration, or a device has already been selected using the set_debug_device command.

-file {filename}