file [file]
The file subcommand changes the current source file to the file specified by the file argument; it does not write to that file. If the file argument is not specified, the file subcommand displays the name of the current source file.
The file subcommand can be run only while the dbx debug program is running.
file main.c
file